Characteristic formulae

This publication has 10 references indexed in Scilit:

• Tableau-based model checking in the propositional mu-calculus
  Acta Informatica, 1990
• The concurrency workbench
  Published by Springer Nature ,1990
• 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
• A Framework for Intuitionistic Modal Logics
  Published by Elsevier ,1986
• A modal characterization of observational congruence on finite terms of CCS
  Information and Control, 1986
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983
• On the expressive power of Dynamic Logic (Preliminary Report)
  Published by Association for Computing Machinery (ACM) ,1979