Similar Items: Branch-Well-Structured Transition Systems and Extensions
- Well Behaved Transition Systems
- Logic and Branching Automata
- Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
- Satisfiability Games for Branching-Time Logics
- Proof complexity of positive branching programs
- Positive Hennessy-Milner Logic for Branching Bisimulation