Fail Termination of Communicating Processe.

Orna Grumberg, Nissim Francez, Shmuel Katz

Browse the full PODC paper archive.