@inbook{dvir-2022-an, title={An Algebraic Theory for Shared-State Concurrency}, ISBN={9783031210372}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-21037-2_1}, DOI={10.1007/978-3-031-21037-2_1}, booktitle={Programming Languages and Systems}, publisher={Springer Nature Switzerland}, author={Dvir, Yotam and Kammar, Ohad and Lahav, Ori}, year={2022}, pages={3–24} }