Hammond, Lewis; Fox, James; Everitt, Tom; Carey, Ryan; Abate, Alessandro; Wooldridge, Michael Reasoning about causality in games. (English) Zbl 07702955 Artif. Intell. 320, Article ID 103919, 53 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{L. Hammond} et al., Artif. Intell. 320, Article ID 103919, 53 p. (2023; Zbl 07702955) Full Text: DOI arXiv
Sommers, Dominique; Sidorova, Natalia; van Dongen, Boudewijn 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 \textit{D. Sommers} et al., Lect. Notes Comput. Sci. 13288, 325--345 (2022; Zbl 1499.68235) Full Text: DOI
Coti, Camille; Petrucci, Laure; Rodríguez, César; Sousa, Marcelo Quasi-optimal partial order reduction. (English) Zbl 1519.68158 Form. Methods Syst. Des. 57, No. 1, 3-33 (2021). MSC: 68Q85 68N30 68Q55 68Q60 PDFBibTeX XMLCite \textit{C. Coti} et al., Form. Methods Syst. Des. 57, No. 1, 3--33 (2021; Zbl 1519.68158) Full Text: DOI arXiv
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko Event structure semantics of (controlled) reversible CCS. (English) Zbl 07377686 J. Log. Algebr. Methods Program. 121, Article ID 100686, 52 p. (2021). MSC: 68Q85 68Q10 68Q55 PDFBibTeX XMLCite \textit{E. Graversen} et al., J. Log. Algebr. Methods Program. 121, Article ID 100686, 52 p. (2021; Zbl 07377686) Full Text: DOI
De Visme, Marc 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 \textit{M. De Visme}, LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 11, 16 p. (2019; Zbl 07649919) Full Text: DOI
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko Towards a categorical representation of reversible event structures. (English) Zbl 1427.68196 J. Log. Algebr. Methods Program. 104, 16-59 (2019). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 18A40 18B20 68Q09 68Q55 PDFBibTeX XMLCite \textit{E. Graversen} et al., J. Log. Algebr. Methods Program. 104, 16--59 (2019; Zbl 1427.68196) Full Text: DOI arXiv
Karádais, Basil A. Normal forms, linearity, and prime algebraicity over nonflat domains. (English) Zbl 1521.68075 Math. Log. Q. 64, No. 1-2, 55-88 (2018). MSC: 68Q55 03B40 06B35 PDFBibTeX XMLCite \textit{B. A. Karádais}, Math. Log. Q. 64, No. 1--2, 55--88 (2018; Zbl 1521.68075) Full Text: DOI
Hildebrandt, Thomas Troels; Johansen, Christian; Normann, Håkon 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 \textit{T. T. Hildebrandt} et al., Lect. Notes Comput. Sci. 10168, 51--63 (2017; Zbl 1485.68161) Full Text: DOI Link
Mallet, Frédéric; Zholtkevych, Grygoriy 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 \textit{F. Mallet} and \textit{G. Zholtkevych}, Commun. Comput. Inf. Sci. 476, 174--188 (2015; Zbl 1328.68138) Full Text: DOI
Clairambault, Pierre; Winskel, Glynn 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 \textit{P. Clairambault} and \textit{G. Winskel}, Electron. Notes Theor. Comput. Sci. 298, 71--92 (2013; Zbl 1334.68148) Full Text: DOI
Song, Liang; Wang, Jianmin; Wen, Lijie; Kong, Hui Efficient semantics-based compliance checking using LTL formulae and unfolding. (English) Zbl 1311.68089 J. Appl. Math. 2013, Article ID 962765, 24 p. (2013). MSC: 68Q60 90B70 PDFBibTeX XMLCite \textit{L. Song} et al., J. Appl. Math. 2013, Article ID 962765, 24 p. (2013; Zbl 1311.68089) Full Text: DOI
Goubault, Éric; Mimram, Samuel 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 \textit{É. Goubault} and \textit{S. Mimram}, Electron. Notes Theor. Comput. Sci. 283, 77--109 (2012; Zbl 1347.68265) Full Text: DOI
Hansen, Henri; Wang, Xu 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 \textit{H. Hansen} and \textit{X. Wang}, Lect. Notes Comput. Sci. 6709, 248--267 (2011; Zbl 1330.68204) Full Text: DOI
Winskel, Glynn Petri nets, algebras, morphisms, and compositionality. (English) Zbl 0622.68052 Inf. Comput. 72, 197-238 (1987). MSC: 68Q85 18B99 68N25 PDFBibTeX XMLCite \textit{G. Winskel}, Inf. Comput. 72, 197--238 (1987; Zbl 0622.68052) Full Text: DOI
Winskel, Glynn Synchronization trees. (English) Zbl 0985.68514 Theor. Comput. Sci. 34, No. 1-2, 33-82 (1984). MSC: 68Q10 PDFBibTeX XMLCite \textit{G. Winskel}, Theor. Comput. Sci. 34, 33--82 (1984; Zbl 0985.68514) Full Text: DOI