Similar Items: Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
- Positive Hennessy-Milner Logic for Branching Bisimulation
- Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
- A Truly Concurrent Semantics for Reversible CCS
- Full abstraction for fair testing in CCS (expanded version)
- Fast and Efficient Merge of Sorted Input Lists in Hardware Using List Offset Merge Sorters
- QBF Merge Resolution is powerful but unnatural