On Termination for Faulty Channel Machines

Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Ph. Schnoebelen, James Worrell. On Termination for Faulty Channel Machines. In Susanne Albers, Pascal Weil, editors, STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings. Volume 08001 of Dagstuhl Seminar Proceedings, pages 121-132, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2008. [doi]

Abstract

Abstract is missing.