Specification styles in distributed systems design and verification

This publication has 12 references indexed in Scilit:

• Concurrency and automata on infinite sequences
  Published by Springer Nature ,2005
• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• Equational type logic
  Theoretical Computer Science, 1990
• Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (H. Ehrig and B. Mahr)
  SIAM Review, 1987
• Extensional equivalences for transition systems
  Acta Informatica, 1987
• Observation equivalence as a testing equivalence
  Theoretical Computer Science, 1987
• CIRCAL and the representation of communication, concurrency, and time
  ACM Transactions on Programming Languages and Systems, 1985
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983