Specifying and Verifying Protocols Represented as Abstract Programs

This publication has 11 references indexed in Scilit:

• The temporal semantics of concurrent programs
  Published by Springer Nature ,2005
• The ?Hoare logic? of concurrent programs
  Acta Informatica, 1980
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• Formal Techniques for Protocol Specification and Verification
  Computer, 1979
• Specification and verification of a network mail system
  Published by Springer Nature ,1979
• Specifications and proofs for abstract data types in concurrent programs
  Published by Springer Nature ,1979
• Verification of a class of link-level protocols
  BIT Numerical Mathematics, 1978
• Verifying properties of parallel programs
  Communications of the ACM, 1976
• Proving monitors
  Communications of the ACM, 1976
• An axiomatic basis for computer programming
  Communications of the ACM, 1969