stepanenko-2025-contextx:
  type: chapter
  title: Context-Dependent Effects in Guarded Interaction Trees
  author:
  - Stepanenko, Sergei
  - Nardino, Emma
  - Frumin, Dan
  - Timany, Amin
  - Birkedal, Lars
  date: 2025
  page-range: 286-313
  url: http://dx.doi.org/10.1007/978-3-031-91121-7_12
  serial-number:
    doi: 10.1007/978-3-031-91121-7_12
    isbn: '9783031911217'
    issn: 1611-3349
  parent:
    type: book
    title: Programming Languages and Systems
    publisher: Springer Nature Switzerland