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

• Contract-based discovery of Web services modulo simple orchestrators
• Fair testing
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• 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

(17)

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

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)