Fair Subtyping for Open Session Types

DOI10.1007/978-3-642-39212-2_34zbMath1334.68155OpenAlexW148244906MaRDI QIDQ5327448

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)

Related Items (5)

Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types ⋮ Fair refinement for asynchronous session types ⋮ An algebraic theory for web service contracts ⋮ Fair subtyping for multi-party session types ⋮ Probabilistic Analysis of Binary Sessions

This page was built for publication: Fair Subtyping for Open Session Types