Proving Safety and Liveness of Communicating Processes with Examples.

Jayadev Misra, K. Mani Chandy, Todd Smith

Browse the full PODC paper archive.