Sfoglia per Autore
Multilevel transitive and intransitive non-interference, causally
2018 Baldan, Paolo; Beggiato, Alessandro
Domains and event structures for fusions
2017 Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
Many-to-many information flow policies
2017 Baldan, Paolo; Beggiato, Alessandro; Lafuente, Alberto Lluch
Local model checking in a logic for true concurrency
2017 Baldan, Paolo; Padoan, Tommaso
Reduction of event structures under history preserving bisimulation
2016 Armas Cervantes, Abel; Baldan, Paolo; García Bañuelos, Luciano
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
Preface
2016 Baldan, Paolo; Gorla, Daniele
Multilevel Transitive and Intransitive Non-interference, Causally
2016 Baldan, Paolo; Beggiato, Alessandro
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
Towards Trace Metrics via Functor Lifting
2015 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
Intransitive Non-Interference by Unfolding
2015 Baldan, Paolo; Francesco, Burato; Alberto, Carraro
Asynchronous traces and open petri nets
2015 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V.
Modular encoding of synchronous and asynchronous interactions using open Petri nets
2015 Baldan, Paolo; Filippo, Bonchi; Fabio, Gadducci; Giacoma Valentina, Monreale
Petri nets for modelling and analysing trophic networks
2015 Baldan, Paolo; Bocci, Martina; Brigolin, Daniele; Cocco, Nicoletta; Simeoni, Marta
CONCUR 2014 – Concurrency Theory
2014 Baldan, Paolo; Daniele, Gorla
BP-Diff: A Tool for Behavioral Comparison of Business Process Models
2014 Abel, Armas; Baldan, Paolo; Marlon, Dumas; Luciano Garcia, Bañuelos
Hereditary History-Preserving Bisimilarity: Logics and Automata
2014 Baldan, Paolo; Crafa, Silvia
Processes and Unfoldings: Concurrent Computations in Adhesive Categories
2014 Baldan, Paolo; A., Corradini; T., Heindel; B., Koenig; P., Sobocinski
Non-interference by Unfolding
2014 Baldan, Paolo; Alberto, Carraro
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile