P. Baldan, F. Bonchi, F. Gadducci, and G. V. Monreale
Asynchronous Traces and Open Petri Nets
In: Programming Languages with Applications to Biology and Security
- Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th
Birthday.
Ed. by C. Bodei, G. Ferrari, and
C. Priami. Vol. 9465. LNCS. Springer, 2015, pp. 86-102.
© Springer.
[PDF]
P. Baldan, A. Corradini,
F. Gadducci, U. Montanari
From Petri Nets to Graph Transformation Systems
In "Manipulation of Graphs, Algebras and Pictures"
Essays Dedicated to Hans-Joerg Kreowski on the Occasion of His 60th Birthday,
F. Drewes, A. Habel, B. Hoffmann, D. Plump eds.
ECEASST vol. 26, 2010.
[PDF]
P. Baldan, A. Corradini, B. König
Unfolding Graph Transformation Systems: Theory and Applications
to Verification
In "Concurrency, Graphs and Models, Essays Dedicated to Ugo
Montanari on the Occasion of His 65th Birthday",
P. Degano, R. De Nicola, R. and J. Meseguer eds.
Springer LNCS vol. 5065, 2008, pp. 16-36.
© Springer.
[PDF]
P. Baldan, A. Corradini
On the Concurrent Semantics of Algebraic Graph Grammars
In "Formal Methods in Software and Systems Modeling",
H.-J. Kreowski, U. Montanari, F. Orejas, et al. eds.
Springer LNCS vol. 3393, 2005, pp. 3-22.
© Springer.
[PDF]
P. Baldan, A. Corradini,
F. Gadducci
Specifying and Verifying UML Activity Diagrams via Graph Transformation
In "Global Computing: IST/FET International
Workshop, GC 2004",
C. Priami and P. Quaglia eds.
Springer LNCS vol. 3267, 2005, pp. 18-33.
© Springer.
[PDF]
P. Baldan, R. Bruni,
A. Bracciali
Symbolic Equivalences for Open Systems
In "Global Computing: IST/FET International
Workshop, GC 2004",
C. Priami and P. Quaglia eds.
Springer LNCS vol. 3267, 2005, pp. 1-17.
© Springer.
[PDF]
H. Ehrig,
K. Hoffmann,
J. Padberg,
P. Baldan,
R. Heckel
High-Level Net Processes
In "Formal and Natural Computing",
W. Brauer, H. Ehrig, J. Karhumäki, A. Salomaa eds.
Springer LNCS vol. 2300, 2002, pp. 191-219.
© Springer.
[PDF]
P. Baldan, A. Corradini,
U. Montanari
Bisimulation Equivalences for Graph Grammars
In "Formal and Natural Computing",
W. Brauer, H. Ehrig, J. Karhumäki, A. Salomaa eds.
Springer LNCS vol. 2300, 2002, pp. 158-190.
© Springer.
[PDF]
P. Baldan, P. Mancarella,
A. Raffaeta',
F. Turini
MuTACLP: A language for temporal reasoning with multiple theories
"Computational Logic: Logic Programming and Beyond",
Springer LNAI, vol. 2408, 2002, pp. 1-40.
A version with full proofs is available as Technical Report TR-01-22.
[PDF]
P. Baldan, A. Corradini,
H. Ehrig,
M. Loewe, U. Montanari,
F.Rossi
Concurrent semantics of algebraic graph transformations
Handbook of Graph Grammars and Computing by Graph Transformation,
Vol. III: Concurrency, Parallellism, and Distribution,
World Scientific, 1999, pp. 109 - 187.
© World Scientific.
[PDF]