(* Title: HOLCF/IOA/meta_theory/IOA.thy ID: $Id$ Author: Olaf Müller License: GPL (GNU GENERAL PUBLIC LICENSE) The theory of I/O automata in HOLCF. *) IOA = SimCorrectness + Compositionality + Deadlock