(* Title: HOLCF/IOA/meta_theory/Deadlock.thy ID: $Id$ Author: Olaf Müller *) header {* Deadlock freedom of I/O Automata *} theory Deadlock imports RefCorrectness CompoScheds begin end