Semantics of Nondeterminism‚ Concurrency and Communication
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Izdano: |
1979
|
| _version_ | 1826297590045474816 |
|---|---|
| author | Francez, N Hoare, C Lehmann, D de Roever, W |
| author_facet | Francez, N Hoare, C Lehmann, D de Roever, W |
| author_sort | Francez, N |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T04:33:58Z |
| format | Journal article |
| id | oxford-uuid:cf4c251b-978a-4037-85fb-b22c4b289d4c |
| institution | University of Oxford |
| last_indexed | 2024-03-07T04:33:58Z |
| publishDate | 1979 |
| record_format | dspace |
| spelling | oxford-uuid:cf4c251b-978a-4037-85fb-b22c4b289d4c2022-03-27T07:41:25ZSemantics of Nondeterminism‚ Concurrency and CommunicationJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:cf4c251b-978a-4037-85fb-b22c4b289d4cDepartment of Computer Science1979Francez, NHoare, CLehmann, Dde Roever, W |
| spellingShingle | Francez, N Hoare, C Lehmann, D de Roever, W Semantics of Nondeterminism‚ Concurrency and Communication |
| title | Semantics of Nondeterminism‚ Concurrency and Communication |
| title_full | Semantics of Nondeterminism‚ Concurrency and Communication |
| title_fullStr | Semantics of Nondeterminism‚ Concurrency and Communication |
| title_full_unstemmed | Semantics of Nondeterminism‚ Concurrency and Communication |
| title_short | Semantics of Nondeterminism‚ Concurrency and Communication |
| title_sort | semantics of nondeterminism concurrency and communication |
| work_keys_str_mv | AT francezn semanticsofnondeterminismconcurrencyandcommunication AT hoarec semanticsofnondeterminismconcurrencyandcommunication AT lehmannd semanticsofnondeterminismconcurrencyandcommunication AT deroeverw semanticsofnondeterminismconcurrencyandcommunication |