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

Louis E. Rosier, Hsu-Chun Yen. Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata. Theoretical Computer Science, 44:69-105, 1986.

Abstract

Abstract is missing.