A Calculus of Total Correctness for Communicating Processes
C. A. R. Hoare
Month
may
Note
Handwritten draft of ECS[76]
Year
1981
C. A. R. Hoare