Formalizing a Modal Logic for CCS in the HOL Theorem Prover

This publication has 9 references indexed in Scilit:

• Verifying temporal properties of processes
  Published by Springer Nature ,2005
• Mechanizing a proof by induction of process algebra specifications in higher order logic
  Published by Springer Nature ,1992
• PAM: A process algebra manipulator
  Published by Springer Nature ,1992
• Combining interaction and automation in process algebra verification
  Published by Springer Nature ,1991
• An introduction to modal and temporal logics for CCS
  Lecture Notes in Computer Science, 1991
• A Higher Order Logic Mechanization of the CSP Failure-Divergence Semantics
  Published by Springer Nature ,1991
• The concurrency workbench
  Published by Springer Nature ,1990
• Mechanizing CSP trace theory in higher order logic
  IEEE Transactions on Software Engineering, 1990
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985