@inbook{francalanza-2024-implementing, title={Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax)}, ISBN={9783031626975}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-62697-5_16}, DOI={10.1007/978-3-031-62697-5_16}, booktitle={Coordination Models and Languages}, publisher={Springer Nature Switzerland}, author={Francalanza, Adrian and Tabone, Gerard and Pfenning, Frank}, year={2024}, pages={295–313} }