Similar Items: Distribution Bisimilarity via the Power of Convex Algebras
- Convexity via Weak Distributive Laws
- Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)
- Essential Convexity and Complexity of Semi-Algebraic Constraints
- Termination in Convex Sets of Distributions
- On-the-Fly Computation of Bisimilarity Distances
- Conditional Bisimilarity for Reactive Systems