CCS, liveness, and local model checking in the linear time mu-calculus

This publication has 9 references indexed in Scilit:

• Proof systems for Hennessy-Milner Logic with recursion
  Published by Springer Nature ,2005
• Research on Automatic Verification of Finite-State Concurrent Systems
  Annual Review of Computer Science, 1987
• Modal logics for communicating systems
  Theoretical Computer Science, 1987
• Fairness
  Published by Springer Nature ,1986
• Reasoning about fair concurrent programs
  Published by Association for Computing Machinery (ACM) ,1986
• The power of the future perfect in program logics
  Information and Control, 1985
• Axiomatising finite delay operators
  Acta Informatica, 1984
• Now you may compose temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1984
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980