%0 Journal Article %1 journals/corr/abs-2311-15670 %A Esposito, Andrea %A Aldini, Alessandro %A Bernardo, Marco %A Rossi, Sabina %D 2023 %J CoRR %K dblp %T Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity. %U http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-15670 %V abs/2311.15670

@article{journals/corr/abs-2311-15670, added-at = {2023-12-01T00:00:00.000+0100}, author = {Esposito, Andrea and Aldini, Alessandro and Bernardo, Marco and Rossi, Sabina}, biburl = {https://www.bibsonomy.org/bibtex/2fb3958f6dbe0784c22b9b020fc42bdc7/dblp}, ee = {https://doi.org/10.48550/arXiv.2311.15670}, interhash = {8434523b17c1e45749e60887ae038743}, intrahash = {fb3958f6dbe0784c22b9b020fc42bdc7}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:21:00.000+0200}, title = {Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-15670}, volume = {abs/2311.15670}, year = 2023 }