A Technique for Proving Liveness of Communicating Finite State Machines with Examples.

Mohamed G. Gouda, Chung-Kuo Chang

Browse the full PODC paper archive.