Partial Correctness of Communicating Sequential ProcessesReport as inadecuate




Partial Correctness of Communicating Sequential Processes - Download this document for free, or read online. Document in PDF available to download.

Reference: Chou Chen Zhou and C.A.R. Hoare, (1981). Partial Correctness of Communicating Sequential Processes.Citable link to this page:

 

Partial Correctness of Communicating Sequential Processes

Bibliographic Details

Issue Date: 1981-01-01Identifiers

Urn: uuid:1431b04b-9ad1-4dbf-81f2-ef315af6699c Item Description

Type: General item; Tiny URL: cs:8142

Relationships





Author: Chou Chen Zhou - - - C.A.R. Hoare - - - - Bibliographic Details Issue Date: 1981-01-01 - Identifiers Urn: uuid:1431b04b-9ad1-4dbf

Source: https://ora.ox.ac.uk/objects/uuid:1431b04b-9ad1-4dbf-81f2-ef315af6699c



DOWNLOAD PDF




Related documents