Modelling session types using contracts
From MaRDI portal
Publication:5741570
DOI10.1017/S0960129514000243zbMath1361.68160OpenAlexW2126641514MaRDI QIDQ5741570
Giovanni Bernardi, Matthew C. B. 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
Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (8)
Session types and subtyping for orchestrated interactions ⋮ Reversible client/server interactions ⋮ Orchestrated session compliance ⋮ Unnamed Item ⋮ Fair refinement for asynchronous session types ⋮ An algebraic theory for web service contracts ⋮ Concurrent Reversible Sessions ⋮ Reversible sessions with flexible choices
Cites Work
- Unnamed Item
- Fair testing
- Contract-based discovery of Web services modulo simple orchestrators
- Testing equivalences for processes
- Web services. Concepts, architectures and applications
- Subtyping for session types in the pi calculus
- The Pairing of Contracts and Session Types
- Session Types as Intuitionistic Linear Propositions
This page was built for publication: Modelling session types using contracts