Pages that link to "Item:Q5899331"
From MaRDI portal
The following pages link to A bisimulation for dynamic sealing (Q5899331):
Displaying 9 items.
- First-order reasoning for higher-order concurrency (Q456466) (← links)
- Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914) (← links)
- A bisimulation-like proof method for contextual properties in untyped \(\lambda \)-calculus with references and deallocation (Q615949) (← links)
- Full Abstraction at Package Boundaries of Object-Oriented Languages (Q3098051) (← links)
- A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References (Q3644766) (← links)
- Non-parametric parametricity (Q4918243) (← links)
- (Q5155688) (← links)
- (Q5377471) (← links)
- From Applicative to Environmental Bisimulation (Q5739359) (← links)
