Weak Bisimulation Up to Elaboration
From MaRDI portal
Publication:5756594
Recommendations
Cited in
(8)- New up-to techniques for weak bisimulation
- Automata, Languages and Programming
- Tower induction and up-to techniques for CCS with fixed points
- Bisimulation and coinduction enhancements: a historical perspective
- Complete Lattices and Up-To Techniques
- (Bi)simulations up-to characterise process semantics
- Mechanized metatheory revisited
- BISON instantiating the whitened swap-or-not construction
This page was built for publication: Weak Bisimulation Up to Elaboration
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756594)