Pages that link to "Item:Q5756594"
From MaRDI portal
The following pages link to Weak Bisimulation Up to Elaboration (Q5756594):
Displayed 5 items.
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Complete Lattices and Up-To Techniques (Q3498446) (← links)
- Tower Induction and Up-to Techniques for CCS with Fixed Points (Q5283217) (← links)