Combining interaction and automation in process algebra verification

This publication has 11 references indexed in Scilit:

• A Higher Order Logic Mechanization of the CSP Failure-Divergence Semantics
  Published by Springer Nature ,1991
• A rewriting strategy to verify observational congruence
  Information Processing Letters, 1990
• Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications
  Published by Springer Nature ,1990
• Mechanizing CSP trace theory in higher order logic
  IEEE Transactions on Software Engineering, 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
• HOL: A Proof Generating System for Higher-Order Logic
  Published by Springer Nature ,1988
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940