Partial Correctness of Communicating Sequential Processes
Zhou Chaochen and C.A.R. Hoare
Book Title
Proceedings of 2nd International Conference on Distributed Computing Systems
Month
April 8–10
Pages
1–12
Publisher
IEEE Computer Society Press
Year
1981