PARTIAL CORRECTNESS OF COMMUNICATING PROCESSES AND PROTOCOLS
ZHOU CHAO CHEN and C. A. R. Hoare
Abstract
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.
Institution
OUCL
Month
May
Number
PRG20
Pages
27
Year
1981