C.A.R Hoare

• Calculus of Total Correctness for Communicating Processes