The Theory of Deadlock Avoidance via Discrete Control (0)

by Y Wang, S Lafortune, T Kelly, M Kudlur, S Mahlke
Venue:In Conf. POPL, 2009. hal-00824225, version 2 - 22 May 2013 Inria version 2 - 22 May 2013 RESEARCH CENTRE GRENOBLE – RHÔNE-ALPES Inovallée 655 avenue de l’Europe Montbonnot 38334 Saint Ismier Cedex Publisher Inria Domaine de Voluceau - Rocquencourt BP 105