×

Found 6 Documents (Results 1–6)

Timed temporal logics. (English) Zbl 1431.03032

Aceto, Luca (ed.) et al., Models, algorithms, logics and tools. Essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10460, 211-230 (2017).
MSC:  03B44 03D05 68Q60
PDFBibTeX XMLCite
Full Text: DOI HAL

Computing rational radical sums in uniform \(\mathrm{TC}^0\). (English) Zbl 1245.68238

Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15–18, 2010, Chennai, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPIcs – Leibniz International Proceedings in Informatics 8, 308-316, electronic only (2010).
MSC:  68U05 68Q25
PDFBibTeX XMLCite
Full Text: DOI Link

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

On expressiveness and complexity in real-time model checking. (English) Zbl 1155.68426

Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 124-135 (2008).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software