Brave, Y.Bonvin, D.2004-11-262004-11-262004-11-26199210.1007/978-3-0348-9120-2_5https://infoscience.epfl.ch/handle/20.500.14299/172960WOS:A1993BZ93A00005A Minimally Restrictive Policy for Deadlock Avoidance in a Class of FMStext::conference output::conference proceedings::conference paper