Andrea Esposito

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Forward And Backward

Top Venues

Publications

Andrea Esposito, Alessandro Aldini, Marco Bernardo
Noninterference Analysis of Reversible Probabilistic Systems. FORTE (2024)
Marco Bernardo, Andrea Esposito
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities. GandALF (2023)
Marco Bernardo, Andrea Esposito
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity. ICTCS (2023)
Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity. CoRR (2023)