All Stories

  1. Model Checking a Logic for True Concurrency

    Article • ACM Transactions on Computational Logic, October 2020, ACM (Association for Computing Machinery)

    Paolo Baldan

  2. Fixpoint games on continuous lattices

    Article • Proceedings of the ACM on Programming Languages, January 2019, ACM (Association for Computing Machinery)

    Paolo Baldan

  3. Petri Nets for Modelling and Analysing Trophic Networks

    Article • Fundamenta Informaticae, April 2018, IOS Press

    Paolo Baldan, Maria de la Mercè Llabrés Segura

  4. Concurrency cannot be observed, asynchronously

    Article • Mathematical Structures in Computer Science, November 2014, Cambridge University Press

    Fabio Gadducci, Paolo Baldan