PADOAN, TOMMASO
PADOAN, TOMMASO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.002 secondi).
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
Fixpoint games on continuous lattices
2019 Baldan, Paolo; König, Barbara; Mika-Michalski, Christina; Padoan, Tommaso
Fixpoint Theory Upside-Down
2023 Baldan, P; Eggert, R; König, B; Padoan, T
Model Checking a Logic for True Concurrency
2020 Baldan, Paolo; Padoan, Tommaso