Similar Items: Positive Hennessy-Milner Logic for Branching Bisimulation
- Logic and Branching Automata
- Proof complexity of positive branching programs
- Satisfiability Games for Branching-Time Logics
- A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
- Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
- Games for Bisimulations and Abstraction