Andrea Esposito

Affiliations:
  • University of Urbino, Italy


According to our database1, Andrea Esposito authored at least 5 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Noninterference Analysis of Reversible Probabilistic Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

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

Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities.
Proceedings of the Fourteenth International Symposium on Games, 2023

On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity.
Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023

Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023


  Loading...