Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax)

Reference. Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax)

Adrian Francalanza, Gerard Tabone, Frank Pfenning · Coordination Models and Languages · 2024 · session-types · DOI

Cite

Cite as @francalanza-2024-implementing (helia, typst) · \cite{francalanza-2024-implementing} (LaTeX)

BibTeX

bibtex · 1 line

@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} }

hayagriva YAML (typst)

yaml · 18 lines

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

Download: francalanza-2024-implementing.bib · francalanza-2024-implementing.yml

Cited by (1)

Grits: A message-passing programming language based on the semi-axiomatic sequent calculus francalanza-2026-gritsSCP · 2026

DOI

Cites 38 works (2 here)

With notes (2)

Relating Message Passing and Shared Memory, Proof-Theoretically pfenning-2023-relatingCoordination Models and Languages · 2023

DOI

Session Types as Intuitionistic Linear Propositions caires-2010-sessionCONCUR · 2010

DOI

External (36)

The Session Abstract Machine (2024)
Automatic Parallelism Management (2024)
Grits: Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax) (artefact for Coordination'24) (2024)
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (2023)
ElixirST: A session-based type system for Elixir modules (2023)
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity (2023)
Lecture notes on Semi-Axiomatic Sequent Calculus (15-836 course notes) (2023)
Rast: A Language for Resource-Aware Session Types (2022)
Session-typed concurrent contracts (2022)
Polarized subtyping (2022)
Back to futures (2022)
Ferrite: a judgmental embedding of session types in Rust (2022)
Resource-Aware Session Types for Digital Contracts (2021)
A theory of monitors (2021)
Computer says no: Verdict explainability for runtime monitors using a local proof system (2021)
A message-passing interpretation of adjoint logic (2021)
Implementing multiparty session types in Rust (2020)
Semi-axiomatic sequent calculus (2020)
Manifest sharing with session types (2017)
A simple library implementation of binary sessions (2017)
Non-Blocking Concurrent Imperative Programming with Session Types (2017)
Design and Implementation of Concurrent C0 (2017)
Golang GitHub issue #22624 (2017)
Multiparty session actors (2017)
An Erlang implementation of multiparty session actors (2016)
Multiparty Asynchronous Session Types (2016)
Lightweight session programming in Scala (2016)
Polarized substructural session types (2015)
Higher-Order Processes, Functions, and Sessions: A Monadic Integration (2013)
Higher-order representation of substructural logics (2010)
Subtyping for session types in the pi calculus (2005)
Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi (2003)
Types for dyadic interaction (1993)
ACTORS: A Model of Concurrent Computation in Distributed Systems (1990)
A universal modular ACTOR formalism for artificial intelligence (1973)
Effective Go (https://go.dev/doc/effective_go#sharing)