scientific article

DOI10.4230/LIPICS.FSTTCS.2010.338zbMath1245.68019MaRDI QIDQ2908863

Sara Capecchi, Nobuko Yoshida, Elena Giachino

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_0104.html

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

zbMATH Keywords

multiparty communicationexception handlingescape mechanism

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14)

Related Items (7)

Unnamed Item ⋮ Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python ⋮ Exception handling for copyless messaging ⋮ Monitoring networks through multiparty session types ⋮ Unnamed Item ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types ⋮ A Type Theory for Robust Failure Handling in Distributed Systems

This page was built for publication: