(* Title: HOLCF/IOA/meta_theory/Deadlock.thy ID: $Id$ Author: Olaf Mueller Copyright 1997 TU Muenchen Deadlock freedom of I/O Automata *) Deadlock = RefCorrectness + CompoScheds