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)

Full work available at URL https://doi.org/10.1017/S096012951400022X

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

(16)

• A fixed-points based framework for compliance of behavioural contracts
• Fair refinement for asynchronous session types
• Precise subtyping for synchronous multiparty sessions
• A gentle introduction to multiparty asynchronous session types
• Polarized Substructural Session Types
• Subtyping Supports Safe Session Substitution
• An algebraic theory for web service contracts
• Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
• Probabilistic Analysis of Binary Sessions
• On resolving non-determinism in choreographies
• Fair subtyping for open session types
• Fair termination of multiparty sessions
• A logical account of subtyping for session types
• Fair asynchronous session subtyping
• Inference systems with corules for fair subtyping and liveness properties of binary session types
• A sound and complete characterization of fair asynchronous session subtyping

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)