ESPOSITO, ANDREA
ESPOSITO, ANDREA
Dipartimento di Scienze Pure e Applicate (DiSPeA)
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.003 secondi).
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems
2023 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
2024 Bernardo, Marco; Esposito, Andrea; Mezzina, Claudio A.
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities
2023 Bernardo, M.; Esposito, A.
Noninterference Analysis of Reversible Probabilistic Systems
2024 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity
2023 Bernardo, M.; Esposito, A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems | 1-gen-2023 | Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco | |
| Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings | 1-gen-2024 | Bernardo, Marco; Esposito, Andrea; Mezzina, Claudio A. | |
| Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities | 1-gen-2023 | Bernardo, M.; Esposito, A. | |
| Noninterference Analysis of Reversible Probabilistic Systems | 1-gen-2024 | Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco | |
| On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity | 1-gen-2023 | Bernardo, M.; Esposito, A. |