A unified approach to formal verification of network safety properties

Correctness Proofs of Communicating Processes: Three Illustrative Examples From the Literature

ACM Transactions on Programming Languages and Systems (TOPLAS)

Modular verification of asynchronous networks

PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing

Compositional specification and verification of distributed systems

ACM Transactions on Programming Languages and Systems (TOPLAS)

Proving safety and liveness of communicating processes with examples

PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing