PADOAN, TOMMASO
PADOAN, TOMMASO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.008 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
Model Checking a Logic for True Concurrency
2020 Baldan, Paolo; Padoan, Tommaso
Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
---|---|---|---|---|---|
Behavioural logics for configuration structures | 2022 | Paolo BaldanTommaso Padoan + | THEORETICAL COMPUTER SCIENCE | - | - |
Characterising Spectra of Equivalences for Event Structures, Logically | 2022 | Paolo BaldanTommaso Padoan + | INFORMATION AND COMPUTATION | - | - |
Fixpoint games on continuous lattices | 2019 | Baldan, PaoloPadoan, Tommaso + | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | - |
Model Checking a Logic for True Concurrency | 2020 | Baldan, PaoloPadoan, Tommaso | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | - | - |