Traces of I/O-automata in Isabelle/HOLCF

This publication has 12 references indexed in Scilit:

• The existence of refinement mappings
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Computation on abstract data types. The extensional approach, with an application to streams
  Annals of Pure and Applied Logic, 1996
• Formal verification of a partial-order reduction technique for model checking
  Published by Springer Nature ,1996
• Forward and Backward Simulations
  Information and Computation, 1995
• Verifying Timing Properties of Concurrent Algorithms
  Published by Springer Nature ,1995
• Combining model checking and deduction for I/O- automata
  Published by Springer Nature ,1995
• Verification of an audio control protocol
  Published by Springer Nature ,1994
• Isabelle
  Published by Springer Nature ,1994
• A formal theory of simulations between infinite automata
  Formal Methods in System Design, 1993
• Logic and Computation
  Published by Cambridge University Press (CUP) ,1987