The following pages link to Tommaso Padoan (Q1652978):
Displayed 9 items.
- Automata for true concurrency properties (Q1652979) (← links)
- Behavioural logics for configuration structures (Q2123053) (← links)
- Fixpoint theory -- upside down (Q2233395) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- Local Model Checking in a Logic for True Concurrency (Q2988383) (← links)
- Model Checking a Logic for True Concurrency (Q5034222) (← links)
- (Q5089290) (← links)
- Fixpoint Theory -- Upside Down (Q6135764) (← links)
- Un)Decidability for History Preserving True Concurrent Logics. (Q6168424) (← links)