Tommaso Padoan

Relating some Logics for True Concurrency

Tommaso Padoan, Tommaso Padoan, 2018, ICTCS.

Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations pdf

Paolo Baldan, Barbara König, Tommaso Padoan, 2020, CONCUR.

Model Checking a Logic for True Concurrency

Paolo Baldan, Tommaso Padoan, 2020, ACM Trans. Comput. Log..

Local Model Checking in a Logic for True Concurrency

Paolo Baldan, Tommaso Padoan, Paolo Baldan, 2017, FoSSaCS.

Automata for True Concurrency Properties

Paolo Baldan, Tommaso Padoan, 2018, FoSSaCS.

Fixpoint games on continuous lattices

Paolo Baldan, Barbara König, Tommaso Padoan, 2019, Proc. ACM Program. Lang..

(Un)Decidability for History Preserving True Concurrent Logics

Alberto Carraro, Paolo Baldan, Tommaso Padoan, 2021, MFCS.