×

Found 7 Documents (Results 1–7)

Linear temporal logic of constraint automata. (English) Zbl 1188.68176

Sarbazi-Azad, Hamid (ed.) et al., Advances in computer science and engineering. 13th international CSI computer conference, CSICC 2008, Kish Island, Iran, March 9–11, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89984-6/pbk; 978-3-540-89985-3/ebook). Communications in Computer and Information Science 6, 972-975 (2008).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Fair \(\pi\). (English) Zbl 1277.68168

Amadio, Roberto (ed.) et al., Proceedings of the 13th international workshop on expressiveness in concurrency (EXPRESS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 3, 3-26 (2007).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software