Fair subtyping for open session types

DOI10.1007/978-3-642-39212-2_34MaRDI QIDQ5327448zbMATH OpenOpenAlexFDO

Authors Luca Padovani

Publication date 7 August 2013

Published in Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2318/137477

Mathematics Subject Classification ID

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

Recommendations

• Fair subtyping for multi-party session types
• Characteristic formulae for session types
• Subtyping for session types in the pi calculus
• Subtyping Supports Safe Session Substitution
• On the preciseness of subtyping in session types

Cited in

(11)

• Fair refinement for asynchronous session types
• Characteristic formulae for 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
• Fair subtyping for multi-party 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

This page was built for publication: Fair subtyping for open session types

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