Louis E. Rosier, Hsu-Chun Yen. Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines. In Kurt Mehlhorn, editor, STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbrücken, Germany, January 3-5, 1985, Proceedings. Volume 182 of Lecture Notes in Computer Science, pages 287-298, Springer, 1985.
Abstract is missing.