Pages that link to "Item:Q2931809"
From MaRDI portal
The following pages link to Logical relations for fine-grained concurrency (Q2931809):
Displaying 13 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- \( \pi\) with leftovers: a mechanisation in Agda (Q2117018) (← links)
- Higher-order linearisability (Q2423744) (← links)
- A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
- Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (Q2802498) (← links)
- Proving Linearizability Using Partial Orders (Q2988662) (← links)
- Relational cost analysis in a functional-imperative setting (Q5020903) (← links)
- On the Versatility of Open Logical Relations (Q5041087) (← links)
- (Q5111648) (← links)
- ReLoC (Q5145319) (← links)
- (Q5155670) (← links)
- A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)