A Higher Order Logic Mechanization of the CSP Failure-Divergence Semantics

This publication has 8 references indexed in Scilit:

• Combining interaction and automation in process algebra verification
  Published by Springer Nature ,1991
• Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications
  Published by Springer Nature ,1990
• Automating Recursive Type Definitions in Higher Order Logic
  Published by Springer Nature ,1989
• Mechanizing Programming Logics in Higher Order Logic
  Published by Springer Nature ,1989
• Type theory and concurrency
  International Journal of Parallel Programming, 1988
• An improved failures model for communicating processes
  Published by Springer Nature ,1985
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940