NONINTERFERENCE ANALYSIS OF REVERSIBLE SYSTEMS: AN APPROACH BASED ON BRANCHING BISIMILARITY. - ESPOSITO, ANDREA; ALDINI, ALESSANDRO; BERNARDO, MARCO; ROSSI, SABINA (Logical Methods in Computer Science (LMCS), 2025)