Skip to main content

A Calculus of Total Correctness for Communicating Processes

C. A. R. Hoare

Month
may
Note
Handwritten draft of ECS[76]
Year
1981