Session types and subtyping for orchestrated interactions

DOI10.1016/j.jlamp.2018.10.001zbMath1433.68232OpenAlexW2897938103MaRDI QIDQ1633346

Ugo de'Liguoro, Franco Barbanera

Publication date: 19 December 2018

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2018.10.001

zbMATH Keywords

compliancesession typesorchestrationexplicit subtyping

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (1)

Preface for the special issue on interaction and concurrency experience 2017

Cites Work

• Orchestrated session compliance
• Contract-based discovery of Web services modulo simple orchestrators
• Inheritance as implicit coercion
• Subtyping for session types in the pi calculus
• On Duality Relations for Session Types
• Multiparty Session Types Within a Canonical Binary Theory, and Beyond
• Multiparty Asynchronous Session Types
• The Pairing of Contracts and Session Types
• The Must Preorder Revisited
• Using higher-order contracts to model session types
• Sub-behaviour relations for session-based client/server systems
• Modelling session types using contracts
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Session types and subtyping for orchestrated interactions