Similar Items: Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
- Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
- Branching Bisimilarity of Normed BPA Processes as a Rational Monoid
- Conditional Bisimilarity for Reactive Systems
- Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
- Bisimilarity in fresh-register automata
- On-the-Fly Computation of Bisimilarity Distances