BALDAN, PAOLO
BALDAN, PAOLO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms
2024 Baldan, P; König, B; Padoan, T
Fixpoint Theory Upside-Down
2023 Baldan, P; Eggert, R; König, B; Padoan, T
Behavioural logics for configuration structures
2022 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
Characterising Spectra of Equivalences for Event Structures, Logically
2022 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
Intensional Kleene and Rice theorems for abstract program semantics
2022 Baldan, Paolo; Ranzato, Francesco; Zhang, Linpeng
Concurrent semantics for fusions: Weak prime domains and connected event structures
2021 Baldan, P.; Corradini, A.; Gadducci, F.
Model Checking a Logic for True Concurrency
2020 Baldan, Paolo; Padoan, Tommaso
Fixpoint games on continuous lattices
2019 Baldan, Paolo; König, Barbara; Mika-Michalski, Christina; Padoan, Tommaso
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
2019 Baldan, Paolo; Gadducci, Fabio
Coalgebraic Behavioral Metrics
2018 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
Event structures for Petri nets with persistence
2018 Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
Many-to-many information flow policies
2018 Baldan, Paolo; Lluch Lafuente, Alberto
Multilevel transitive and intransitive non-interference, causally
2018 Baldan, Paolo; Beggiato, Alessandro
Petri nets for modelling and analysing trophic networks
2018 Baldan, Paolo; Brigolin, Daniele; Heiner, Monika; Bocci, Martina; Cocco, Nicoletta; Simeoni, Marta
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
Reduction of event structures under history preserving bisimulation
2016 Armas Cervantes, Abel; Baldan, Paolo; García Bañuelos, Luciano
A causal view on non-interference
2015 Baldan, Paolo; Carraro, Alberto
Concurrency Can't Be Observed, Asynchronously
2015 Baldan, Paolo; F., Bonchi; F., Gadducci; G., Monreale
Modular encoding of synchronous and asynchronous interactions using open Petri nets
2015 Baldan, Paolo; Filippo, Bonchi; Fabio, Gadducci; Giacoma Valentina, Monreale
A Logic for True Concurrency
2014 Baldan, Paolo; Crafa, Silvia