Pages that link to "Item:Q5899513"
From MaRDI portal
The following pages link to A bisimulation for dynamic sealing (Q5899513):
Displayed 4 items.
- Program equivalence in a simple language with state (Q456473) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc (Q3179291) (← links)
- From Applicative to Environmental Bisimulation (Q5739359) (← links)