P. Baldan,
A. Corradini
F. Gadducci
A Semantic Framework for Open Processes
Corr arXiv:1701.02394at ArXiv.
Cornell University Library.
[PDF]
P. Baldan, R. Bruni,
A. Bracciali
A Semantic Framework for Open Processes
Technical Report TR-07-09.
Department of Computer Science, University of Pisa.
[PDF]
P. Baldan,
A. Corradini
H. Ehrig,
R. Heckel
Bisimilarity and Behaviour Preserving Reconfigurations of Open petri Nets
Technical Report CS-2006-9. Department of Computer Science, University Ca' Foscari of Venice.
[PDF]
P. Baldan,
S. Haar,
B. König
Distributed Unfolding of Petri Nets
Technical Report CS-2006-1. Department of Computer Science, University Ca' Foscari of Venice.
[PDF]
P. Baldan,
A. Corradini,
U. Montanari,
L. Ribeiro
Concurrency and Nondeterminism in Graph Rewriting:
From Graph Grammars to Asymmetric Event Structures
and Backwards
Technical Report CS-2005-2. Department of Computer Science, University Ca' Foscari of Venice.
[PS]
P. Baldan, A. Corradini,
B. König
Verifying Finite-State Graph Grammars: an Unfolding-Based Approach
Technical Report CS-2004-10. Department of Computer Science, University Ca' Foscari of Venice.
[PS]
P. Baldan, R. Bruni,
A. Bracciali
Symbolic Equivalences for Open Systems
Technical Report TR-03-16. Department of Computer Science, University of Pisa.
[PS]
P. Baldan, P. Mancarella, A. Raffaeta',
F. Turini
MuTACLP: A language for temporal reasoning with multiple theories
Technical Report TR-01-22. Department of Computer Science, University of Pisa.
[PS]
P. Baldan, A. Corradini,
H. Ehrig, R. Heckel
Compositional semantics of open Petri nets based on deterministic processes
Technical Report TR-01-21. Department of Computer Science, University of Pisa.
[PS]
F. Alessi, P. Baldan,
F. Honsell
A category of compositional domain-models for separable Stone spaces
Technical Report TR-14-00. Department of Computer Science, University of Pisa.
[PS]
P. Baldan, N. Busi,
A. Corradini,
G.M.Pinna
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs
Technical Report TR-05-00. Department of Computer Science, University of Pisa.
[PS]
P. Baldan, A.Corradini,
U. Montanari
Contextual Petri Nets, Asymmetric Event Structures and Processes
Technical Report TR-99-18. Department of Computer Science. University of Pisa
[PS]