Mohamed G. Gouda Chung-Kuo Chang Proving Liveness for Networks of Communicating Finite State Machines. 154-182 1986 8 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/5001.5002 db/journals/toplas/toplas8.html#GoudaC86