Modelling session types using contracts

DOI10.1017/S0960129514000243MaRDI QIDQ5741570zbMATH OpenOpenAlexFDO

Authors Giovanni Bernardi, Matthew Hennessy

Publication date 28 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129514000243

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Using higher-order contracts to model session types
• Using higher-order contracts to model session types (extended abstract)
• Session types revisited
• The Pairing of Contracts and Session Types
• On duality relations for session types

Cites work

• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• Contract-based discovery of Web services modulo simple orchestrators
• Fair testing
• Session types as intuitionistic linear propositions
• Subtyping for session types in the pi calculus
• Testing equivalences for processes
• The Pairing of Contracts and Session Types
• Web services. Concepts, architectures and applications

Cited in

(16)

• Using higher-order contracts to model session types (extended abstract)
• Using higher-order contracts to model session types
• The Pairing of Contracts and Session Types
• An algebraic theory for web service contracts
• Session-typed concurrent contracts
• Reversible sessions with flexible choices
• Fair refinement for asynchronous session types
• Session types and subtyping for orchestrated interactions
• Reversible client/server interactions
• Concurrent reversible sessions
• From behavioural contracts to session types
• Fair asynchronous session subtyping
• Orchestrated session compliance
• Relating Session Types and Behavioural Contracts: The Asynchronous Case
• A note on two notions of compliance
• Reversible multiparty sessions with checkpoints

This page was built for publication: Modelling session types using contracts

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