Skip to main content

A Calculus of Total Correctness for Communicating Processes

C.A.R. Hoare

Journal
The Science of Computer Programming
Month
October
Number
1–2
Pages
49–72
Volume
1
Year
1981