Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines.

Louis E. Rosier, Hsu-Chun Yen

Browse the full STACS paper archive.