An Axiomatic Proof Technique for Networks of Communicating Processes

A Theory of Communicating Sequential Processes

Journal of the ACM (JACM)

A Proof System for Communicating Sequential Processes

ACM Transactions on Programming Languages and Systems (TOPLAS)

A shared resource algorithm for distributed simulation

ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture

A preliminary evaluation of verifiability in Ada

ACM '80 Proceedings of the ACM 1980 annual conference

A simple model of distributed programs based on implementation-hiding and process autonomy

ACM SIGPLAN Notices