The concurrency workbench

This publication has 14 references indexed in Scilit:

• Deciding bisimulation equivalences for a class of non-finite-state programs
  Published by Springer Nature ,2005
• Tableau-based model checking in the propositional mu-calculus
  Acta Informatica, 1990
• Bisimulation through probabilistic testing (preliminary report)
  Published by Association for Computing Machinery (ACM) ,1989
• Local model checking in the modal mu-calculus
  Lecture Notes in Computer Science, 1989
• Characteristic formulae
  Published by Springer Nature ,1989
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987
• Submodule construction as equation solving in CCS
  Published by Springer Nature ,1987
• Modal logics for communicating systems
  Theoretical Computer Science, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Testing equivalences for processes
  Theoretical Computer Science, 1984