A Denotational Approach to Release/Acquire Concurrency.

Yotam Dvir, Ohad Kammar, Ori Lahav

Browse the full ESOP paper archive.