IRIS

ESPOSITO, ANDREA

ESPOSITO, ANDREA  

Dipartimento di Scienze Pure e Applicate (DiSPeA)  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.016 secondi).
Titolo Data di pubblicazione Autore(i) File
A Process Algebraic Theory of Reversible Concurrent Systems with Applications to Noninterference Analysis 22-mag-2025 Esposito, Andrea
Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets 1-gen-2025 Bernardo, Marco; Esposito, Andrea; Mezzina, Claudio Antares
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 Deterministically Timed Reversible Systems 1-gen-2025 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
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
Noninterference Analysis of Stochastically Timed Reversible Systems 1-gen-2025 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity 1-gen-2023 Bernardo, M.; Esposito, A.