TY  - RPRT
TI  - On Termination for Faulty Channel Machines
AU  - Patricia Bouyer
AU  - Nicolas Markey
AU  - Joël Ouaknine
AU  - Philippe Schnoebelen
AU  - James Worrell
PY  - 2008
DO  - 10.4230/lipics.stacs.2008.1339
UR  - https://arxiv.org/abs/0802.2839
ID  - 0802.2839
ER  -