The following pages link to ReLoC (Q5145319):
Displaying 7 items.
- Decomposing data structure commutativity proofs with \(mn\)-differencing (Q2234060) (← links)
- Logical relations for fine-grained concurrency (Q2931809) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- (Q5155670) (← links)
- Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency (Q5244818) (← links)
- A relational model of types-and-effects in higher-order concurrent separation logic (Q5370857) (← links)
- Concise outlines for a complex logic: a proof outline checker for TaDA (Q6145023) (← links)