An efficient verifier of truly concurrent properties

This publication has 16 references indexed in Scilit:

• Concurrency and automata on infinite sequences
  Published by Springer Nature ,2005
• Causality for mobile processes
  Published by Springer Nature ,1995
• Automatizing Parametric Reasoning on Distributed Concurrent Systems
  Formal Aspects of Computing, 1994
• Read-write causality
  Published by Springer Nature ,1994
• The concurrency workbench
  ACM Transactions on Programming Languages and Systems, 1993
• Reduced labelled transition systems save verification effort
  Published by Springer Nature ,1991
• Causal trees
  Published by Springer Nature ,1989
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Partial ordering derivations for CCS
  Published by Springer Nature ,1985