Similar Items: Branching Bisimilarity of Normed BPA Processes as a Rational Monoid
- Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
- Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
- Monoidal Width
- Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
- Coherent Presentations of Monoidal Categories
- Coinductive Streams in Monoidal Categories