Heckel, Reiko; Corradini, Andrea; Gadducci, Fabio Graph rewriting components. (English) Zbl 1514.68091 Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 20-37 (2022). MSC: 68Q42 18M30 PDFBibTeX XMLCite \textit{R. Heckel} et al., Lect. Notes Comput. Sci. 13349, 20--37 (2022; Zbl 1514.68091) Full Text: DOI
Hasuo, Ichiro; Kataoka, Toshiki; Cho, Kenta Coinductive predicates and final sequences in a fibration. (English) Zbl 1386.68103 Math. Struct. Comput. Sci. 28, No. 4, 562-611 (2018). MSC: 68Q65 03G30 18B20 68Q85 PDFBibTeX XMLCite \textit{I. Hasuo} et al., Math. Struct. Comput. Sci. 28, No. 4, 562--611 (2018; Zbl 1386.68103) Full Text: DOI
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo A coalgebraic semantics for causality in Petri nets. (English) Zbl 1330.68196 J. Log. Algebr. Methods Program. 84, No. 6, 853-883 (2015). MSC: 68Q85 18C50 PDFBibTeX XMLCite \textit{R. Bruni} et al., J. Log. Algebr. Methods Program. 84, No. 6, 853--883 (2015; Zbl 1330.68196) Full Text: DOI arXiv
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo Revisiting causality, coalgebraically. (English) Zbl 1307.68053 Acta Inf. 52, No. 1, 5-33 (2015). MSC: 68Q85 68Q55 18F20 68Q65 PDFBibTeX XMLCite \textit{R. Bruni} et al., Acta Inf. 52, No. 1, 5--33 (2015; Zbl 1307.68053) Full Text: DOI Link
Ciancia, Vincenzo; Kurz, Alexander; Montanari, Ugo Families of symmetries as efficient models of resource binding. (English) Zbl 1247.68172 Jacobs, B. (ed.) et al., Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010). Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 264, No. 2, 63-81 (2010). MSC: 68Q65 18C50 PDFBibTeX XMLCite \textit{V. Ciancia} et al., Electron. Notes Theor. Comput. Sci. 264, No. 2, 63--81 (2010; Zbl 1247.68172) Full Text: DOI
Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Montanari, Ugo On GS-monoidal theories for graphs with nesting. (English) Zbl 1309.68147 Engels, Gregor (ed.) et al., Graph transformations and model-driven engineering. Essays dedicated to Manfred Nagl on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-17321-9/pbk). Lecture Notes in Computer Science 5765, 59-86 (2010). MSC: 68R10 18A10 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 5765, 59--86 (2010; Zbl 1309.68147) Full Text: DOI
Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio A category of explicit fusions. (English) Zbl 1144.68038 Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 544-562 (2008). MSC: 68Q55 18C10 18F20 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Lect. Notes Comput. Sci. 5065, 544--562 (2008; Zbl 1144.68038) Full Text: DOI