Fair subtyping for multi-party session types

DOI10.1017/S096012951400022XMaRDI QIDQ5741567zbMATH OpenFDO

Authors Luca Padovani

Publication date 28 July 2016

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

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

• Fair subtyping for open session types
• Precise subtyping for synchronous multiparty sessions
• Multiparty session types, beyond duality
• Subtyping Supports Safe Session Substitution
• On the preciseness of subtyping in session types

Cites work

• A theory of contracts for strong service compliance
• CONFLICTS AND FAIR TESTING
• Fair subtyping for open session types
• Fair testing
• Fundamental properties of infinite trees
• On projecting processes into session types
• Relating fair testing and accordance for service replaceability
• Semantic subtyping for the pi-calculus
• Session types as intuitionistic linear propositions
• Subtyping for session types in the pi calculus
• Termination, deadlock, and divergence

Cited in

(14)

• Probabilistic Analysis of Binary Sessions
• Fair subtyping for open session types
• Fair termination of multiparty sessions
• An algebraic theory for web service contracts
• Subtyping Supports Safe Session Substitution
• Fair refinement for asynchronous session types
• Precise subtyping for synchronous multiparty sessions
• A fixed-points based framework for compliance of behavioural contracts
• A logical account of subtyping for session types
• Fair asynchronous session subtyping
• Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
• A gentle introduction to multiparty asynchronous session types
• Polarized Substructural Session Types
• scientific article; zbMATH DE number 7269246 (Why is no real title available?)

This page was built for publication: Fair subtyping for multi-party session types

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