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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.