×

Found 2 Documents (Results 1–2)

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
Full Text: DOI arXiv Link

Filter Results by …

Document Type

Year of Publication

Main Field