Value-passing CCS in HOL

This publication has 6 references indexed in Scilit:

• Why We Can't have SML Style datatype Declarations in HOL
  Published by Elsevier ,1993
• Formalizing a Modal Logic for CCS in the HOL Theorem Prover
  Published by Elsevier ,1993
• Proof systems for message-passing process algebras
  Published by Springer Nature ,1993
• A proof system for communicating processes with value-passing
  Formal Aspects of Computing, 1991
• A note on the notation of recursion in process algebras
  Information Processing Letters, 1991
• Automating Recursive Type Definitions in Higher Order Logic
  Published by Springer Nature ,1989