On Termination for Faulty Channel Machines.

Patricia Bouyer, Nicolas Markey, Jol Ouaknine, Philippe Schnoebelen, James Worrell

Browse the full STACS paper archive.