Skip to main content

Partial Correctness of Communicating Sequential Processes

Chou Chen Zhou and C. A. R. Hoare

Month
jan
Note
Handwritten manuscript
Year
1981