Rosier, Louis E.Louis E.RosierHSU-CHUN YEN2020-06-162020-06-161986https://scholars.lib.ntu.edu.tw/handle/123456789/502453Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata.journal article10.1016/0304-3975(86)90110-6https://doi.org/10.1016/0304-3975(86)90110-6