Projections of the reachability graph and environment models

This publication has 12 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• Exhaustive analysis and simulation for distributed systems, both sides of the same coin
  Distributed Computing, 1988
• An introduction to Estelle: A specification language for distributed systems
  Computer Networks and ISDN Systems, 1987
• Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols
  IEEE Transactions on Software Engineering, 1987
• Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching
  IEEE Transactions on Software Engineering, 1987
• Interactive verification of communication software on the basis of CIL
  ACM SIGCOMM Computer Communication Review, 1984
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• A note on reliable full-duplex transmission over half-duplex links
  Communications of the ACM, 1969