Modal specifications

This publication has 15 references indexed in Scilit:

• Concurrency and automata on infinite sequences
  Published by Springer Nature ,2005
• Proof systems for Hennessy-Milner Logic with recursion
  Published by Springer Nature ,2005
• A modal process logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Bisimulation through probabilistic testing
  Information and Computation, 1991
• Structured operational semantics and bisimulation as a congruence
  Published by Springer Nature ,1989
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987
• Observation equivalence as a testing equivalence
  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
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983