A concurrent logical relation
From MaRDI portal
Publication:4649541
Recommendations
- A relational model of types-and-effects in higher-order concurrent separation logic
- A Kripke logical relation for effect-based program transformations
- A Kripke logical relation for effect-based program transformations
- Correctness of a higher-order removal transformation through a relational reasoning.
- On transformations of concurrent object programs
Cited in
(9)- An algebraic theory for shared-state concurrency
- Correctness of a higher-order removal transformation through a relational reasoning.
- On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem
- Logical relations and nondeterminism
- A relational model of types-and-effects in higher-order concurrent separation logic
- A Kripke logical relation for effect-based program transformations
- Transfinite step-indexing: decoupling concrete and logical steps
- scientific article; zbMATH DE number 7407781 (Why is no real title available?)
- A Kripke logical relation for effect-based program transformations
This page was built for publication: A concurrent logical relation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4649541)