Ugo Montanari

CONCUR '96

System Development and Ada

Formal Methods in Software and Systems Modeling

Automata, languages and programming

Handbook of Graph Grammars and Computing by Graph Transformations Vol. 3

Models of Computation

Foundations of Information Technology in the Era of Network and Mobile Computing

Algebra and Coalgebra in Computer Science

Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)

TAPSOFT '87 Vol. 2