Mechanizing a proof by induction of process algebra specifications in higher order logic

This publication has 9 references indexed in Scilit:

• Combining interaction and automation in process algebra verification
  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
• Logic and Computation
  Published by Cambridge University Press (CUP) ,1987