Efficient local correctness checking

This publication has 28 references indexed in Scilit:

• Concurrency and automata on infinite sequences
  Published by Springer Nature ,2005
• Linear and branching structures in the semantics and logics of reactive systems
  Published by Springer Nature ,2005
• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• Submodule construction as equation solving in CCS
  Theoretical Computer Science, 1989
• A note on model checking the modal v-calculus
  Published by Springer Nature ,1989
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• The temporal logic of branching time
  Acta Informatica, 1983
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• Results on the propositional μ-calculus
  Published by Springer Nature ,1982
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955