Partial Correctness of Communicating Sequential Processes
| Main Authors: | , |
|---|---|
| 格式: | Conference item |
| 出版: |
IEEE
2015
|
| _version_ | 1826268800937361408 |
|---|---|
| author | Chaochen, Z Hoare, C |
| author_facet | Chaochen, Z Hoare, C |
| author_sort | Chaochen, Z |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T21:15:10Z |
| format | Conference item |
| id | oxford-uuid:3f8a10f5-c4aa-41d4-98b0-8a9e8efc88f5 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T21:15:10Z |
| publishDate | 2015 |
| publisher | IEEE |
| record_format | dspace |
| spelling | oxford-uuid:3f8a10f5-c4aa-41d4-98b0-8a9e8efc88f52022-03-26T14:32:39ZPartial Correctness of Communicating Sequential ProcessesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:3f8a10f5-c4aa-41d4-98b0-8a9e8efc88f5Department of Computer ScienceIEEE2015Chaochen, ZHoare, C |
| spellingShingle | Chaochen, Z Hoare, C Partial Correctness of Communicating Sequential Processes |
| title | Partial Correctness of Communicating Sequential Processes |
| title_full | Partial Correctness of Communicating Sequential Processes |
| title_fullStr | Partial Correctness of Communicating Sequential Processes |
| title_full_unstemmed | Partial Correctness of Communicating Sequential Processes |
| title_short | Partial Correctness of Communicating Sequential Processes |
| title_sort | partial correctness of communicating sequential processes |
| work_keys_str_mv | AT chaochenz partialcorrectnessofcommunicatingsequentialprocesses AT hoarec partialcorrectnessofcommunicatingsequentialprocesses |