ESPOSITO, ANDREA
ESPOSITO, ANDREA
Dipartimento di Scienze Pure e Applicate (DiSPeA)
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.006 secondi).
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems
2023 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
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 | |
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. |