Search results for: Ugo Montanari
Lecture Notes in Computer Science > Graph Transformations and Model-Driven Engineering > Graph Transformations: Theory and Applications > 59-86
Lecture Notes in Computer Science > CONCUR '92 > 286-301
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 145-164
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 129-143
Lecture Notes in Computer Science > CAAP '88 > 258-270
Lecture Notes in Computer Science > Graph Transformations > Session 2. Behavioural Analysis > 123-138
Lecture Notes in Computer Science > TAPSOFT '91 > 29-48
Lecture Notes in Computer Science > CONCUR 2002 — Concurrency Theory > Models of Computation, Process Algebra > 449-465