Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James On termination and invariance for faulty channel machines. (English) Zbl 1259.68142 Formal Asp. Comput. 24, No. 4-6, 595-607 (2012). MSC: 68Q85 03B70 68Q17 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Formal Asp. Comput. 24, No. 4--6, 595--607 (2012; Zbl 1259.68142) Full Text: DOI
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James On termination for faulty channel machines. (English) Zbl 1259.68120 Albers, Susanne (ed.) et al., STACS 2008. 25th international symposium on theoretical aspects of computer science, Bordeaux, France, February 21–23, 2008. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-06-4). LIPIcs – Leibniz International Proceedings in Informatics 1, 121-132, electronic only (2008). MSC: 68Q60 03B44 68Q25 PDFBibTeX XMLCite \textit{P. Bouyer} et al., LIPIcs -- Leibniz Int. Proc. Inform. 1, 121--132 (2008; Zbl 1259.68120) Full Text: DOI arXiv Link