Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems.

Andrea Esposito, Alessandro Aldini, Marco Bernardo

Browse the full FORTE paper archive.