@inbook{dvir-2025-two, title={Two-sorted algebraic decompositions of Brookes’s shared-state denotational semantics}, ISBN={9783031908972}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-90897-2_18}, DOI={10.1007/978-3-031-90897-2_18}, booktitle={Foundations of Software Science and Computation Structures}, publisher={Springer Nature Switzerland}, author={Dvir, Yotam and Kammar, Ohad and Lahav, Ori and Plotkin, Gordon}, year={2025}, pages={377–398} }