Richiedi una copia del documento: Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems

Captcha code
Annulla