BRAGETTI, DAVIDE
BRAGETTI, DAVIDE
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
Mostra
prodotti
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.01 secondi).
On a Classification of Temporal Properties of Concurrent Programs
1979 Bragetti, Davide
The Intersection Algebra of Safety, Cosafety, Liveness, and Coliveness over Linear Temporal Logic
2026 Bragetti, Davide
Toward a Four-Family Classification of Omega-Regular Temporal Properties: A Topological Approach to Invariance, Eventuality, Infinitary Progress, and Asymptotic Vanishing
2003 Bragetti, Davide
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| On a Classification of Temporal Properties of Concurrent Programs | 1979 | Bragetti, Davide | |
| The Intersection Algebra of Safety, Cosafety, Liveness, and Coliveness over Linear Temporal Logic | 2026 | Bragetti, Davide | |
| Toward a Four-Family Classification of Omega-Regular Temporal Properties: A Topological Approach to Invariance, Eventuality, Infinitary Progress, and Asymptotic Vanishing | 2003 | Bragetti, Davide |