Graphical versus logical specifications

This publication has 6 references indexed in Scilit:

• Linear and branching structures in the semantics and logics of reactive systems
  Published by Springer Nature ,2005
• The use of static constructs in a model process logic
  Lecture Notes in Computer Science, 1989
• Modal logics for communicating systems
  Theoretical Computer Science, 1987
• A logic for the description of non-deterministic programs and their properties
  Information and Control, 1986
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• A modal characterisation of observable machine-behaviour
  Lecture Notes in Computer Science, 1981