scientific article; zbMATH DE number 6744389

DOI10.23638/LMCS-13(2:12)2017zbMath1398.68360arXiv1610.00328MaRDI QIDQ5278078

Alceste Scalas, Nobuko Yoshida, Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini

Publication date: 13 July 2017

Full work available at URL: https://arxiv.org/abs/1610.00328

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completeness\(\pi\)-calculussoundnesssubtypingsession typestype safetyasynchronous message permutations

Mathematics Subject Classification ID

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

Related Items (12)

Precise Subtyping for Asynchronous Multiparty Sessions ⋮ Communicating finite state machines and an extensible toolchain for multiparty session types ⋮ Subtyping Supports Safe Session Substitution ⋮ Unnamed Item ⋮ Precise subtyping for synchronous multiparty sessions ⋮ Polarized subtyping ⋮ On the Undecidability of Asynchronous Session Subtyping ⋮ A Sound Algorithm for Asynchronous Session Subtyping ⋮ Fair refinement for asynchronous session types ⋮ Progress-preserving Refinements of CTA ⋮ Process calculi as a tool for studying coordination, contracts and session types ⋮ Unnamed Item

Uses Software

• Pict
• Scribble

This page was built for publication: