ESPOSITO, ANDREA

ESPOSITO, ANDREA  

Dipartimento di Scienze Pure e Applicate (DiSPeA)  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.0 secondi).
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
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity 1-gen-2025 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco; Rossi, Sabina
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity 1-gen-2023 Bernardo, M.; Esposito, A.