Proving safety and liveness of communicating processes with examples (0)

by J MISRA, K M CHANDY, T SMITH
Venue:In Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing