Session-typed concurrent contracts

DOI10.1007/978-3-319-89884-1_27zbMath1418.68025OpenAlexW2797310167MaRDI QIDQ5919613

Frank Pfenning, Hannah Gommerstadt, Limin Jia

Publication date: 13 September 2019

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-89884-1_27

zbMATH Keywords

contractssession typesmonitors

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Related Items (7)

Fairness and communication-based semantics for session-typed languages ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A theory of monitors ⋮ Session-typed concurrent contracts ⋮ Session Types with Arithmetic Refinements ⋮ Protocol combinators for modeling, testing, and execution of distributed systems

This page was built for publication: Session-typed concurrent contracts