1. Formal justification of a proof system for communicating sequential processes;Apt;J. ACM,1983
2. A proof system for communicating sequential processes;Apt;ACM-TOPLAS,1980
3. Proofs of networks of processes;Chandy;IEEE Trans. Software Engrg.,1981
4. Weakest precondition semantics for communicating processes;Elrad,1982
5. Extended naming conventions for communicating processes;Francez;Proc. 9th ACM-POPL Symposium,1982