@inbook{stepanenko-2025-contextx, title={Context-Dependent Effects in Guarded Interaction Trees}, ISBN={9783031911217}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-91121-7_12}, DOI={10.1007/978-3-031-91121-7_12}, booktitle={Programming Languages and Systems}, publisher={Springer Nature Switzerland}, author={Stepanenko, Sergei and Nardino, Emma and Frumin, Dan and Timany, Amin and Birkedal, Lars}, year={2025}, pages={286–313} }