Pages that link to "Item:Q5428848"
From MaRDI portal
The following pages link to A Fully Abstract Trace Semantics for General References (Q5428848):
Displaying 11 items.
- A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus (Q2200839) (← links)
- Complete trace models of state and control (Q2233464) (← links)
- Higher-order linearisability (Q2423744) (← links)
- A System-Level Game Semantics (Q3178283) (← links)
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State (Q3184753) (← links)
- Realisability semantics of parametric polymorphism, general references and recursive types (Q3583027) (← links)
- A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References (Q3644766) (← links)
- (Q5111648) (← links)
- Global State Considered Helpful (Q5415641) (← links)
- From Applicative to Environmental Bisimulation (Q5739359) (← links)
- From bounded checking to verification of equivalence via symbolic up-to techniques (Q6535615) (← links)
