×

Found 3 Documents (Results 1–3)

Finite bisimulations for dynamical systems with overlapping trajectories. (English) Zbl 1528.68175

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 26, 17 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Unbounded product-form Petri nets. (English) Zbl 1442.68127

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 31, 16 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Dynamic complexity of the Dyck reachability. (English) Zbl 1486.68125

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 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. 10203, 265-280 (2017).
MSC:  68R10 68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Year of Publication

all top 3

Main Field