Proving Safety and Liveness of Communicating Processes with Examples (1982)

by J Misra, K M Chandy, T Smith
Venue:Proc. 1 "* Ann. A CM Symp. on Principles of Distributed Computing