An Algebraic Theory for Shared-State Concurrency.

Yotam Dvir, Ohad Kammar, Ori Lahav

Browse the full APLAS paper archive.