P. Baldan, A. Corradini, and U. Montanari. Formal and Natural Computing, volume 2300 of Lecture Notes in Computer Science, page 158-190. Springer, (2002)
R. Bruni, U. Montanari, and G. Mossa. The Art of Modelling Computational Systems, volume 11760 of Lecture Notes in Computer Science, page 223-240. Springer, (2019)
U. Montanari. From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of Lecture Notes in Computer Science, page 12-15. Springer, (2019)
U. Montanari, M. Sammartino, and A. Siwe. Graph Transformation, Specifications, and Nets, volume 10800 of Lecture Notes in Computer Science, page 179-200. Springer, (2018)
U. Montanari. Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 3-6. Springer, (2019)
J. Fiadeiro, U. Montanari, and M. Wirsing. Foundations of Global Computing, volume 05081 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)
I. Lanese, and U. Montanari. Foundations of Global Computing, volume 05081 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)
B. König, U. Montanari, and P. Gardner. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, volume 04241 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)
R. Bruni, U. Montanari, and M. Sammartino. Programming Languages with Applications to Biology and Security, volume 9465 of Lecture Notes in Computer Science, page 27-43. Springer, (2015)
R. Bruni, H. Melgratti, and U. Montanari. Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, page 291-327. Springer, (2003)
F. Gadducci, and U. Montanari. Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, page 84-100. Springer, (2005)
R. Bruni, H. Melgratti, and U. Montanari. Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 382-401. Springer, (2014)
R. Bruni, H. Melgratti, and U. Montanari. Logic, Rewriting, and Concurrency, volume 9200 of Lecture Notes in Computer Science, page 205-227. Springer, (2015)