(* Title: HOLCF/IOA/meta_theory/Deadlock.thy ID: $Id$ Author: Olaf Müller License: GPL (GNU GENERAL PUBLIC LICENSE) Deadlock freedom of I/O Automata. *) Deadlock = RefCorrectness + CompoScheds