A Brookes-Style Denotational Semantics for Release/Acquire Concurrency.
Saved in:
| Title: | A Brookes-Style Denotational Semantics for Release/Acquire Concurrency. |
|---|---|
| Authors: | Dvir, Yotam1 (AUTHOR) yotamdvir@mail.tau.ac.il, Kammar, Ohad2 (AUTHOR) ohad.kammar@ed.ac.uk, Lahav, Ori1 (AUTHOR) orilahav@tau.ac.il |
| Source: | ACM Transactions on Programming Languages & Systems. Jun2025, Vol. 47 Issue 2, p1-85. 85p. |
| Database: | Business Source Ultimate |
| ISSN: | 01640925 |
|---|---|
| DOI: | 10.1145/3715096 |
