U. Montanari. Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 3-6. 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)
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, M. Sammartino, and A. Siwe. Graph Transformation, Specifications, and Nets, volume 10800 of Lecture Notes in Computer Science, page 179-200. Springer, (2018)