Louis E. Rosier, Hsu-Chun Yen. Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata. Theoretical Computer Science, 44:69-105, 1986.
@article{RosierY86:0,
title = {Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata},
author = {Louis E. Rosier and Hsu-Chun Yen},
year = {1986},
tags = {synchronization, e-science},
researchr = {https://researchr.org/publication/RosierY86%3A0},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {44},
pages = {69-105},
}