Abderrahim Benslimane. Deciding Boundedness for Systems of two Linear Communicating Fine State Machines. In Tuncer I. Ören, George J. Klir, editors, Computer Aided System Theory - CASR 94, 4th International Workshop, Ottawa, Ontario, Canada, May 16-20, 1994, Selected Papers. Volume 1105 of Lecture Notes in Computer Science, pages 108-122, Springer, 1994.
Abstract is missing.