F. Parisi-Presicce, H. Ehrig, and U. Montanari. Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2–6, 1986, volume 291 of Lecture Notes in Computer Science, page 496-514. Springer, (1987)
T. Mossakowski, and U. Montanari. Logical Methods in Computer Science, (2010)SPECIAL ISSUE: Selected Papers of the Conference Älgebraic and Coalgebraic Methods in Computer Science 2007" Bergen, Norway, 2007.
F. Parisi-Presicce, H. Ehrig, and U. Montanari. Graph-Grammars and Their Application to Computer Science, volume 291 of Lecture Notes in Computer Science, page 496-514. Springer, (1986)
U. Montanari. European Workshop on Applications and Theory in Petri Nets, volume 424 of Lecture Notes in Computer Science, page 507-524. Springer, (1988)
A. Catalano, S. Gnesi, and U. Montanari. Graph-Grammars and Their Application to Computer Science and Biology, volume 73 of Lecture Notes in Computer Science, page 167-179. Springer, (1978)
P. Degano, R. Nicola, and U. Montanari. Mathematical Models for the Semantics of Parallelism, volume 280 of Lecture Notes in Computer Science, page 144-165. Springer, (1986)
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)
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)
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)