On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mohamed G. Gouda, Ching-Hua Chow, Simon S. Lam. On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines. In Yechiam Yemini, Robert E. Strom, Shaula Yemini, editors, Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984. pages 47-56, North-Holland, 1984.

This author has not been identified. Look up 'Mohamed G. Gouda' in GoogleThis author has not been identified. Look up 'Ching-Hua Chow' in GoogleThis author has not been identified. Look up 'Simon S. Lam' in Google

runs on WebDSL