TY  - RPRT
TI  - Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
AU  - Andrea Esposito
AU  - Alessandro Aldini
AU  - Marco Bernardo
AU  - Sabina Rossi
PY  - 2025
DO  - 10.46298/lmcs-21(1:6)2025
UR  - https://arxiv.org/abs/2311.15670
ID  - 2311.15670
ER  -