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. Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 3-6. 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)
U. Montanari, R. Pugliese, and F. Tiezzi. Software, Services, and Systems, volume 8950 of Lecture Notes in Computer Science, page 641-661. Springer, (2015)
R. Bruni, H. Melgratti, and U. Montanari. Logic, Rewriting, and Concurrency, volume 9200 of Lecture Notes in Computer Science, page 205-227. Springer, (2015)
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. Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 382-401. Springer, (2014)