(* Title: HOLCF/IOA/meta_theory/IOA.thy Author: Olaf Müller *) header {* The theory of I/O automata in HOLCF *} theory IOA imports SimCorrectness Compositionality Deadlock begin end