@inbook{pfenning-2023-relating, title={Relating Message Passing and Shared Memory, Proof-Theoretically}, ISBN={9783031353611}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-35361-1_1}, DOI={10.1007/978-3-031-35361-1_1}, booktitle={Coordination Models and Languages}, publisher={Springer Nature Switzerland}, author={Pfenning, Frank and Pruiksma, Klaas}, year={2023}, pages={3–27} }