scientific article; zbMATH DE number 6744944

DOI10.4230/LIPIcs.FSTTCS.2015.560zbMath1366.68012MaRDI QIDQ5275396

Nobuko Yoshida, Romain Demangeon

Publication date: 13 July 2017

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

zbMATH Keywords

expressivenessconcurrencyasynchronymessage-passingsession

Mathematics Subject Classification ID

Distributed systems (68M14) Network protocols (68M12)

Related Items

Precise Subtyping for Asynchronous Multiparty Sessions, On the Undecidability of Asynchronous Session Subtyping, Monitoring networks through multiparty session types, Multiparty Session Types Within a Canonical Binary Theory, and Beyond