Similar Items: Proving Soundness of Extensional Normal-Form Bisimilarities
- Extensional and Non-extensional Functions as Processes
- Converse extensionality and apartness
- Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
- On-the-Fly Computation of Bisimilarity Distances
- Conditional Bisimilarity for Reactive Systems
- Bisimilarity in fresh-register automata