Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano Characterising spectra of equivalences for event structures, logically. (English) Zbl 1504.68138 Inf. Comput. 285, Part B, Article ID 104887, 25 p. (2022). MSC: 68Q85 03B45 PDFBibTeX XMLCite \textit{P. Baldan} et al., Inf. Comput. 285, Part B, Article ID 104887, 25 p. (2022; Zbl 1504.68138) Full Text: DOI
Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano Behavioural logics for configuration structures. (English) Zbl 1483.68222 Theor. Comput. Sci. 913, 94-112 (2022). MSC: 68Q85 03B70 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Theor. Comput. Sci. 913, 94--112 (2022; Zbl 1483.68222) Full Text: DOI
Baldan, Paolo; Gadducci, Fabio Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. (English) Zbl 1417.68114 Acta Inf. 56, No. 1, 61-92 (2019). Reviewer: Jörg Desel (Hagen) MSC: 68Q85 18B20 68Q10 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{F. Gadducci}, Acta Inf. 56, No. 1, 61--92 (2019; Zbl 1417.68114) Full Text: DOI
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. Asynchronous traces and open Petri nets. (English) Zbl 1434.68320 Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 86-102 (2015). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 9465, 86--102 (2015; Zbl 1434.68320) Full Text: DOI
Baldan, Paolo; Gadducci, Fabio Petri nets are dioids. (English) Zbl 1170.68536 Meseguer, José (ed.) et al., Algebraic methodology and software technology. 12th international conference, AMAST 2008, Urbana, IL, USA, July 28–31, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79979-5/pbk). Lecture Notes in Computer Science 5140, 51-66 (2008). MSC: 68Q85 16Y60 68Q10 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{F. Gadducci}, Lect. Notes Comput. Sci. 5140, 51--66 (2008; Zbl 1170.68536) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; König, Barbara A framework for the verification of infinite-state graph transformation systems. (English) Zbl 1153.68034 Inf. Comput. 206, No. 7, 869-907 (2008). MSC: 68Q60 68Q42 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Inf. Comput. 206, No. 7, 869--907 (2008; Zbl 1153.68034) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo Contextual Petri nets, asymmetric event structures, and processes. (English) Zbl 1005.68103 Inf. Comput. 171, No. 1, 1-49 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Inf. Comput. 171, No. 1, 1--49 (2001; Zbl 1005.68103) Full Text: DOI