Zhou Chao Chen.

• Consistency of the Calculus of Total Correctness for Communicating Processes
• Partial correctness of communicating processes and protocols