Pages that link to "Item:Q2942857"
From MaRDI portal
The following pages link to The marriage of bisimulations and Kripke logical relations (Q2942857):
Displaying 7 items.
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- Complete trace models of state and control (Q2233464) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- New (Q3178271) (← links)
- A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc (Q3179291) (← links)
- (Q5089301) (← links)
