BALDAN, PAOLO
BALDAN, PAOLO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
A category of compositional domain-models for separable Stone spaces
2003 F., Alessi; Baldan, Paolo; F., Honsell
A causal view on non-interference
2015 Baldan, Paolo; Carraro, Alberto
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space
1998 F., Alessi; Baldan, Paolo
A Fixed Point Theorem in a Category of Compact Metric Spaces
1995 F., Alessi; Baldan, Paolo; G., Belle
A framework for the verification of infinite-state graph transformation systems
2008 Baldan, Paolo; Corradini, A; Koenig, B.
A lattice-theoretical perspective on adhesive categories
2011 Baldan, Paolo; Bonchi, F; Corradini, A; Heindel, T; Konig, B.
A Logic for True Concurrency
2014 Baldan, Paolo; Crafa, Silvia
A rewriting calculus for cyclic higher-order term graphs
2007 Baldan, Paolo; Bertolissi, C; Cirstea, H; Kirchner, C.
A semantic framework for open processes
2007 Baldan, Paolo; Bracciali, A; Bruni, R.
Basic theory of F-bounded quantification
1999 Baldan, Paolo; Ghelli, G; Raffaeta, A.
Behavioural logics for configuration structures
2022 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
Bisimilarity and Behaviour-Preserving Reconfigurations of Petri Nets
2008 Baldan, Paolo; Corradini, A.; Ehrig, H.; Heckel, R.; Koenig, B.
Characterising Spectra of Equivalences for Event Structures, Logically
2022 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
Coalgebraic Behavioral Metrics
2018 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
Compositional Semantics for Open Petri Nets based on Deterministic Processes
2005 Baldan, Paolo; A., Corradini; H., Ehrig; R., Heckel
Concurrency Can't Be Observed, Asynchronously
2015 Baldan, Paolo; F., Bonchi; F., Gadducci; G., Monreale
Concurrent semantics for fusions: Weak prime domains and connected event structures
2021 Baldan, P.; Corradini, A.; Gadducci, F.
Contextual Petri nets, asymmetric event structures and processes
2001 Baldan, Paolo; A., Corradini; U., Montanari
Diagnosing behavioral differences between business process models: An approach based on event structures
2016 Armas Cervantes, Abel; Baldan, Paolo; Dumas, Marlon; Garcia Bañuelos, Luciano
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs
2004 Baldan, Paolo; N., Busi; A., Corradini; G. M., Pinna