francalanza-2024-implementing:
  type: chapter
  title: Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax)
  author:
  - Francalanza, Adrian
  - Tabone, Gerard
  - Pfenning, Frank
  date: 2024
  page-range: 295-313
  url: http://dx.doi.org/10.1007/978-3-031-62697-5_16
  serial-number:
    doi: 10.1007/978-3-031-62697-5_16
    isbn: '9783031626975'
    issn: 1611-3349
  parent:
    type: book
    title: Coordination Models and Languages
    publisher: Springer Nature Switzerland