Andrea Esposito
Affiliations:- University of Urbino, Italy
According to our database1,
Andrea Esposito
authored at least 5 papers
between 2023 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
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
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