Login / Signup

Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata.

Louis E. RosierHsu-Chun Yen
Published in: Theor. Comput. Sci. (1986)
Keyphrases