A timed model for communicating sequential processes
| Main Authors: | , |
|---|---|
| 格式: | Journal article |
| 出版: |
1988
|
| _version_ | 1826273698940715008 |
|---|---|
| author | Roscoe, A Reed, G |
| author_facet | Roscoe, A Reed, G |
| author_sort | Roscoe, A |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T22:32:11Z |
| format | Journal article |
| id | oxford-uuid:58a40075-6e5f-4144-a879-addca9dd3cc5 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T22:32:11Z |
| publishDate | 1988 |
| record_format | dspace |
| spelling | oxford-uuid:58a40075-6e5f-4144-a879-addca9dd3cc52022-03-26T17:04:47ZA timed model for communicating sequential processesJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:58a40075-6e5f-4144-a879-addca9dd3cc5Department of Computer Science1988Roscoe, AReed, G |
| spellingShingle | Roscoe, A Reed, G A timed model for communicating sequential processes |
| title | A timed model for communicating sequential processes |
| title_full | A timed model for communicating sequential processes |
| title_fullStr | A timed model for communicating sequential processes |
| title_full_unstemmed | A timed model for communicating sequential processes |
| title_short | A timed model for communicating sequential processes |
| title_sort | timed model for communicating sequential processes |
| work_keys_str_mv | AT roscoea atimedmodelforcommunicatingsequentialprocesses AT reedg atimedmodelforcommunicatingsequentialprocesses AT roscoea timedmodelforcommunicatingsequentialprocesses AT reedg timedmodelforcommunicatingsequentialprocesses |