Verification of an alternating bit protocol by means of process algebra protocol

This publication has 8 references indexed in Scilit:

• Algebra of communicating processes with abstraction
  Theoretical Computer Science, 1985
• Compactness in semantics for merge and fair merge
  Published by Springer Nature ,1984
• Process algebra for synchronous communication
  Information and Control, 1984
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983
• From State Machines to Temporal Logic: Specification Methods for Protocol Standards
  IEEE Transactions on Communications, 1982
• Verifying Concurrent Processes Using Temporal Logic
  Published by Springer Nature ,1982
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• A note on reliable full-duplex transmission over half-duplex links
  Communications of the ACM, 1969