Session-typed concurrent contracts

DOI10.1007/978-3-319-89884-1_27MaRDI QIDQ5919613zbMATH OpenOpenAlexFDO

Authors Hannah Gommerstadt, Limin Jia, Frank Pfenning

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

contractsmonitorssession types

Mathematics Subject Classification ID

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

Recommendations

• Session-typed concurrent contracts
• Contracts for Mobile Processes
• Honesty by typing
• The Pairing of Contracts and Session Types
• Expressing contract monitors as patterns of communication

Cited in

(18)

• A theory of monitors
• Adding concurrency to smart contracts
• Fairness and communication-based semantics for session-typed languages
• Monitors and blame assignment for higher-order session types
• Honesty by typing
• Contracts for Mobile Processes
• The Pairing of Contracts and Session Types
• Stateful contracts for affine types
• A universal session type for untyped asynchronous communication
• Non-blocking concurrent imperative programming with session types
• Protocol combinators for modeling, testing, and execution of distributed systems
• Session Types with Arithmetic Refinements
• CONCUR 2004 - Concurrency Theory
• Stateful manifest contracts
• Domain-aware session types
• Session-typed concurrent contracts
• Executable contracts for Elixir
• Beyond contracts for concurrency

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5919613)