×

Found 15 Documents (Results 1–15)

Aligning event logs to resource-constrained \(\nu \)-Petri nets. (English) Zbl 1499.68235

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 325-345 (2022).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Event structures for mixed choice. (English) Zbl 07649919

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 11, 16 p. (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

A stable non-interleaving early operational semantics for the pi-calculus. (English) Zbl 1485.68161

Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10168, 51-63 (2017).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

Coalgebraic semantic model for the clock constraint specification language. (English) Zbl 1328.68138

Artho, Cyrille (ed.) et al., Formal techniques for safety-critical systems. Third international workshop, FTSCS 2014, Luxembourg, November 6–7, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-17580-5/pbk; 978-3-319-17581-2/ebook). Communications in Computer and Information Science 476, 174-188 (2015).
MSC:  68Q85 68Q60 68Q65
PDFBibTeX XMLCite
Full Text: DOI

On concurrent games with payoff. (English) Zbl 1334.68148

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, 71-92 (2013).
MSC:  68Q85 91A05 91A80
PDFBibTeX XMLCite
Full Text: DOI

Formal relationships between geometrical and classical models for concurrency. (English) Zbl 1347.68265

Fajstrup, Lisbeth (ed.) et al., Proceedings of the 9th workshop on geometric and topological methods in computer science (GETCO), Aalborg, Denmark, January 11–15, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 283, 77-109 (2012).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

On the origin of events: branching cells as stubborn sets. (English) Zbl 1330.68204

Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 248-267 (2011).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software