Partial Correctness of Communicating Processes and Protocols

Opis bibliograficzny
Główni autorzy: Hoare, C, Chaochen, Z
Format: Report
Wydane: 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