Decidability of the termination problem for completely specified protocols

This publication has 12 references indexed in Scilit:

• The construction of self-synchronizing finite state protocols
  Distributed Computing, 1987
• A generalization of the procedure of karp and miller to well structured transition systems
  Lecture Notes in Computer Science, 1987
• Boundedness, empty channel detection, and synchronization for communicating finite automata
  Theoretical Computer Science, 1986
• Synthesis of two-party error-recoverable protocols
  Published by Association for Computing Machinery (ACM) ,1986
• A discipline for constructing multiphase communication protocols
  ACM Transactions on Computer Systems, 1985
• Protocol Verification via Projections
  IEEE Transactions on Software Engineering, 1984
• Synthesis of Communicating Finite-State Machines with Guaranteed Progress
  IEEE Transactions on Communications, 1984
• On Communicating Finite-State Machines
  Journal of the ACM, 1983
• Towards Analyzing and Synthesizing Protocols
  IEEE Transactions on Communications, 1980
• Ordering by Divisibility in Abstract Algebras
  Proceedings of the London Mathematical Society, 1952