Paolo Baldan - Journal Publications


P. Baldan, R. Eggert, B. König, T. Padoan
Fixpoint Theory - Upside Down Logical Methods in Computer Science 19(2) (2023)
Creative Common License Creative Common License.
[PDF]

P. Baldan, F. Ranzato, L. Zhang
Intensional Kleene and Rice theorems for abstract program semantics
In: Inf. Comput. 289(Part): 104953 (2022)
© Elsevier.
[PDF]

P. Baldan, A. Raffaetà
Minimisation of event structures
In: Theor. Comput. Sci. 935: 174-199 (2022)
© Elsevier.
[PDF]

P. Baldan, D. Gorla, T. Padoan, I. Salvo
Characterising spectra of equivalences for event structures, logically
In: Inf. Comput. 285(Part): 104887 (2022)
© Elsevier.
[PDF]

P. Baldan, D. Gorla, T. Padoan, I. Salvo
Behavioural logics for configuration structures
In: Theor. Comput. Sci. 913: 94-112 (2022)
© Elsevier.
[PDF]

P. Baldan, A. Corradini, F. Gadducci
Concurrent semantics for fusions: Weak prime domains and connected event structures
In: Information and Computation 281 (2021)
© Elsevier Science.
[PDF]

P. Baldan, T. Padoan
Model Checking a Logic for True Concurrency
In: ACM Trans. Comput. Log. 21(4): 34:1-34:49 (2020)
© ACM Press.
[PDF]

P. Baldan, F. Gadducci
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
In: Acta Informatica 56(1) (2019), pp. 61-92.
© Springer.
[PDF]

P. Baldan, A. LLuch-Lafuente
Many-to-many information flow policies
In: Science of Computer Programming 168 (2018), pp. 118-141.
© Springer.
[PDF]

P. Baldan, R. Bruni, A. Corradini, F. Gadducci, H. Melgratti, U. Montanari
Event Structures for Petri nets with Persistence
In: Logical Methods in Computer Science 14(3) (2018), pp. 1-30.
Creative Common License Creative Common License.
[PDF]

P. Baldan, A. Beggiato
Multilevel Transitive and Intransitive Non-Interference, Causally
In: Theoretical Computer Science 706 (2018), pp. 54-82.
© Elsevier Science.
[PDF]

P. Baldan, M. Bocci, D. Brigolin, N. Cocco, M. Simeoni
Petri nets for modelling and analysing trophic networks
In: Fundamenta Informaticae 160(1-2) (2018), pp. 27-52.
© IOS press.
[PDF]

A. Armas-Cervantes, P. Baldan, M. Dumas, and L. García-Banuelos
Diagnosing behavioral differences between business process models: An aproach based on event structures
In: Information System 56 (2016), pp. 304-325.
© Elsevier Science.
[PDF]

A. Armas-Cervantes, P. Baldan, and L. Garcìa-Banuelos
Reduction of event structures under history preserving bisimulation
In: Journal of Logical and Algebraic Methods in Programming 85(6) (2016), pp. 1110-1130.
© Elsevier Science.
[PDF]

P. Baldan, A. Carraro
A Causal View on Non-Interference
In: Fundamenta Informaticae 140(1) (2015), pp. 1–38.
© IOS press.
[PDF]

P. Baldan, F. Bonchi, F. Gadducci, and G. Monreale
Concurrency Can't Be Observed, Asynchronously
In: Mathematical Structures in Computer Science 25(4) (2015), pp. 978-1004.
© Cambridge University Press.
[PDF]

P. Baldan, F. Bonchi, F. Gadducci G. Monreale
Modular Encoding of Synchronous and Asynchronous Interactions using Open Petri Nets
Science of Computer Programming 109, pp. 96-124, 2015.
© Elsevier Science.
[PDF]

P. Baldan, S. Crafa
A logic for true concurrency
Journal of the ACM pp. 24:1-24:36, 2014.
© ACM Press.
[PDF]

P. Baldan, F. Bonchi, F. Gadducci G. Monreale
Concurrency Can't Be Observed, Asynchronously
Mathematical Structures in Computer Science 25(4), pp. 978-1004, 2015.
© Cambridge University Press.
[PDF]

P. Baldan, A. Corradini, T. Heindel, B. König P. Sobocinski
Processes and Unfoldings: Concurrent Computations in Adhesive Categories
Mathematical Structures in Computer Science 24(4), 2014
© Cambridge University Press.
[PDF]

P. Baldan, A. Corradini, B. König, C. Rodríguez, S. Schwoon
Efficient unfolding of contextual Petri nets
Theoretical Computer ScienceVol. 449(1) pp. 2-22, 2012.
© Elsevier Science.
[PDF]

P. Baldan, F. Bonchi, A. Corradini, T. Heindel, B. König
A lattice-theoretical perspective on adhesive categories
Journal of Symbolic Computation 46(3), 2011. pp. 222-245
© Elsevier Science.
[PDF]

P. Baldan, T. Chatain, S. Haar, B. König
Unfolding-Based Diagnosis of Systems with an Evolving Topology
Information and Computation 208 (2010), pp. 1169-1192.
© Academic Press.
[PDF]

P. Baldan, N. Cocco, A. Marin, M. Simeoni
Petri Nets for Modelling Metabolic Pathways: A Survey
Natural Computing 9:955-989 (2010)
© Springer.
[PDF]

P. Baldan, A. Corradini, B. König, S. Schwoon
McMillan's Complete Prefix for Contextual Nets
LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) 5100 pp. 199-220 (2008) .
© Springer.
[PDF]

P. Baldan, A. Corradini, H. Ehrig, R. Heckel, B. König
Bisimilarity and Behaviour-Preserving Reconfigurations of Petri Nets
Logical Methods in Computer Science 4 (4-3), pp. 1-41, 2008.
Creative Common License Creative Common License.
[PDF]

P. Baldan, A. Corradini, B. König
A Framework for the Verification of Infinite-State Graph Transformation Systems
Information and Computation 206 (2008), pp. 869-907.
© Academic Press.
[PDF]

P. Baldan, R. Bruni, A. Bracciali
A Semantic Framework for Open Processes
Theoretical Computer ScienceVol. 389(3) pp. 446-483, 2007.
© Elsevier Science.
(A version with some proofs missing in the journal version is available as Technical Report TR-07-09. Department of Computer Science, University of Pisa)
[PDF]

P. Baldan, A. Corradini, U. Montanari, L. Ribeiro
Unfolding Semantics of Graph Transformation
Information and Computation 205 (2007), pp. 733-782.
A previous version is available as Technical Report  CS-2005-2.
© Academic Press.
[PDF]

C. Bertolissi, P. Baldan, H. Cirstea, C. Kirchner
A rewriting calculus for cyclic higher-order term graphs
Mathematical Structures in Computer Science 17(3), pp. 363-406, 2007.
© Cambridge University Press.
[PDF]

P. Baldan, A. Corradini, H. Ehrig, R. Heckel
Compositional Semantics for Open Petri Nets based on Deterministic Processes
Mathematical Structures in Computer Science 15(1), 2005, pp. 1-35.
© Cambridge University Press.
(A previous version is available as Technical Report TR-01-21. Department of Computer Science, University of Pisa)
[PDF]

P. Baldan, N. Busi, A. Corradini, G.M. Pinna
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs
Theoretical Computer ScienceVol. 323 (1-3) pp. 129-189, 2004.
© Elsevier Science.
(A previous version is available as Technical Report TR-05-00. Department of Computer Science, University of Pisa)
[PDF]

F. Alessi, P. Baldan, F. Honsell
A category of compositional domain-models for separable Stone spaces
Theoretical Computer Science 290(1), 2003, pp. 599-635.
© Elsevier Science.
(A previous version is available as Technical Report TR-14-00. Department of Computer Science, University of Pisa)
[PDF]

P. Baldan, A. Corradini, U. Montanari
Contextual Petri nets, asymmetric event structures and processes
Information and Computation 171 (1) (2001), pp. 1-49.
A previous version is available asTechnical Report  TR-99-18.
© Academic Press.
[PDF]

P. Baldan, G. Ghelli, A. Raffaetà
Basic theory of F-bounded quantification
Information and Computation 153 (1999), pp. 173-237.
© Academic Press.
[PDF]

F. Alessi, P. Baldan
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space
Theoretical Computer Science 193 (1-2) (1998) pp. 113-127.
© Elsevier Science.
[PDF]

F. Alessi, P. Baldan, G. Bellè
A Fixed Point Theorem in a Category of Compact Metric Spaces
Theoretical Computer Science 146(1-2) (1995) pp. 311-320.
© Elsevier Science.
[PDF]