Similar Items: Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)
- Distribution Bisimilarity via the Power of Convex Algebras
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- EXPTIME Tableaux for the Coalgebraic mu-Calculus
- A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
- Pebble Games and Algebraic Proof Systems
- Branching Bisimilarity of Normed BPA Processes as a Rational Monoid