Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines.
Journal
STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbr?cken, Germany, January 3-5, 1985, Proceedings
Pages
287-298
Date Issued
1985
Author(s)
Rosier, Louis E.
Type
conference paper