Modelling session types using contracts
From MaRDI portal
Publication:5741570
DOI10.1017/S0960129514000243zbMATH Open1361.68160OpenAlexW2126641514MaRDI QIDQ5741570FDOQ5741570
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
Recommendations
Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Web services. Concepts, architectures and applications
- Contract-based discovery of Web services modulo simple orchestrators
- Testing equivalences for processes
- Subtyping for session types in the pi calculus
- The Pairing of Contracts and Session Types
- Session types as intuitionistic linear propositions
- Fair testing
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
- Session-typed concurrent contracts
- An algebraic theory for web service 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
- Relating Session Types and Behavioural Contracts: The Asynchronous Case
- Orchestrated session compliance
- 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)
