Similar Items: A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
- Foundations of regular coinduction
- Coinductive Proof Principles for Stochastic Processes
- Positive Hennessy-Milner Logic for Branching Bisimulation
- Expressive Logics for Coinductive Predicates
- A new coinductive confluence proof for infinitary lambda calculus
- From coinductive proofs to exact real arithmetic: theory and applications