×

Found 2 Documents (Results 1–2)

On the upward/downward closures of Petri nets. (English) Zbl 1441.68142

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 49, 14 p. (2017).
MSC:  68Q85 68Q17 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Context-bounded analysis for concurrent programs with dynamic creation of threads. (English) Zbl 1234.68068

Kowalewski, Stefan (ed.) et al., Tools and algorithms for the construction and analysis of systems. 15th international conference, TACAS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00767-5/pbk). Lecture Notes in Computer Science 5505, 107-123 (2009).
MSC:  68N30 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Year of Publication

Main Field