Andrea Esposito

According to our database, Andrea Esposito authored at least 7 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Noninterference Analysis of Irreversible or Reversible Systems with Nondeterminism and Probabilities.

Andrea Esposito, Alessandro Aldini, Marco Bernardo

CoRR, January, 2025

Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.

Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi

Log. Methods Comput. Sci., 2025

2024

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings.

Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina

Proceedings of the Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics, 2024

Noninterference Analysis of Reversible Probabilistic Systems.

Andrea Esposito, Alessandro Aldini, Marco Bernardo

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2023

Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities.

Marco Bernardo, Andrea Esposito

Proceedings of the Fourteenth International Symposium on Games, 2023

On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity.

Marco Bernardo, Andrea Esposito

Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023

Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems.

Andrea Esposito, Alessandro Aldini, Marco Bernardo

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023