A Brookes-Style Denotational Semantics for Release/Acquire Concurrency.

Saved in:

Bibliographic Details
Title:	A Brookes-Style Denotational Semantics for Release/Acquire Concurrency.
Authors:	Dvir, Yotam¹ (AUTHOR) yotamdvir@mail.tau.ac.il, Kammar, Ohad² (AUTHOR) ohad.kammar@ed.ac.uk, Lahav, Ori¹ (AUTHOR) orilahav@tau.ac.il
Source:	ACM Transactions on Programming Languages & Systems. Jun2025, Vol. 47 Issue 2, p1-85. 85p.
Database:	Business Source Ultimate

Description
ISSN:	01640925
DOI:	10.1145/3715096