Compositional minimization of finite state systems

This publication has 13 references indexed in Scilit:

• Compositional proofs by partial specification of processes
  Published by Springer Nature ,2005
• Verifying properties of large sets of processes with network invariants
  Lecture Notes in Computer Science, 1990
• The concurrency workbench
  Published by Springer Nature ,1990
• Projections of the reachability graph and environment models
  Published by Springer Nature ,1990
• Network grammars, communication behaviors and automatic verification
  Lecture Notes in Computer Science, 1990
• A structural induction theorem for processes
  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
• Modal logics for communicating systems
  Theoretical Computer Science, 1987
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983