×

Found 4 Documents (Results 1–4)

Faster algorithms for weighted recursive state machines. (English) Zbl 1485.68057

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 287-313 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram. (English) Zbl 1338.68003

SpringerBriefs in Applied Sciences and Technology. Mathematical Methods. Cham: Springer (ISBN 978-3-319-15397-1/pbk; 978-3-319-15398-8/ebook). xi, 167 p. (2016).
Reviewer: Ioan Pop (Iaşi)
PDFBibTeX XMLCite
Full Text: DOI

A geometric view of partial order reduction. (English) Zbl 1334.68133

Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 179-195 (2013).
MSC:  68Q60 68Q65 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Model-based engineering of embedded systems using the hybrid process algebra Chi. (English) Zbl 1279.68245

Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 21-53 (2008).
MSC:  68Q85 68Q70
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

all top 3

Software