PARTIAL CORRECTNESS OF COMMUNICATING PROCESSES AND PROTOCOLS
ZHOU CHAO CHEN and C. A. R. Hoare
This monograph contains two closely related papers. The first was presented at the Second International Conference on Distributed Computing Systems in Paris on 8th April, 1981. The second was presented at the INWG/NPL Workshop on Protocol testing -towards proofs? at Teddington on 28th May, 1981.