Biniam Gebremichael Frits W. Vaandrager Miaomiao Zhang Kees Goossens Edwin Rijpkema Andrei Radulescu Deadlock Prevention in the Æthereal Protocol. 345-348 2005 conf/charme/2005 CHARME http://dx.doi.org/10.1007/11560548_28 db/conf/charme/charme2005.html#GebremichaelVZGRR05