Partial Correctness of Communicating Processes and Protocols
| Main Authors: | , |
|---|---|
| Format: | Report |
| Published: |
Oxford University Computing Laboratory‚ Programming Research Group
1981
|
| _version_ | 1826268494789869568 |
|---|---|
| author | Hoare, C Chaochen, Z |
| author_facet | Hoare, C Chaochen, Z |
| author_sort | Hoare, C |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T21:10:33Z |
| format | Report |
| id | oxford-uuid:3dffa5af-e99c-4f04-85b9-2326b350c96d |
| institution | University of Oxford |
| last_indexed | 2024-03-06T21:10:33Z |
| publishDate | 1981 |
| publisher | Oxford University Computing Laboratory‚ Programming Research Group |
| record_format | dspace |
| spelling | oxford-uuid:3dffa5af-e99c-4f04-85b9-2326b350c96d2022-03-26T14:22:50ZPartial Correctness of Communicating Processes and ProtocolsReporthttp://purl.org/coar/resource_type/c_93fcuuid:3dffa5af-e99c-4f04-85b9-2326b350c96dDepartment of Computer ScienceOxford University Computing Laboratory‚ Programming Research Group1981Hoare, CChaochen, Z |
| spellingShingle | Hoare, C Chaochen, Z Partial Correctness of Communicating Processes and Protocols |
| title | Partial Correctness of Communicating Processes and Protocols |
| title_full | Partial Correctness of Communicating Processes and Protocols |
| title_fullStr | Partial Correctness of Communicating Processes and Protocols |
| title_full_unstemmed | Partial Correctness of Communicating Processes and Protocols |
| title_short | Partial Correctness of Communicating Processes and Protocols |
| title_sort | partial correctness of communicating processes and protocols |
| work_keys_str_mv | AT hoarec partialcorrectnessofcommunicatingprocessesandprotocols AT chaochenz partialcorrectnessofcommunicatingprocessesandprotocols |