Patricia Bouyer Nicolas Markey Joël Ouaknine Ph. Schnoebelen James Worrell On Termination for Faulty Channel Machines. 2008 STACS 121-132 http://drops.dagstuhl.de/opus/volltexte/2008/1339 conf/stacs/2008 db/conf/stacs/stacs2008.html#BouyerMOSW08