Data di Pubblicazione:
2010
Abstract:
This article proposes a global escape mechanism which can handle unexpected or
unwanted conditions changing the default execution of distributed communicational
ows, preserving compatibility of the multiparty conversations. Our escape is realised by
a collection of asynchronous local exceptions which can be thrown at any stage of the
communication and to any subsets of participants in a multiparty session. This exibility
enables to model complex exceptions such as criss-crossing global interactions and error
handling for distributed cooperating threads. Guided by multiparty session types, our
semantics is proven to provide a termination algorithm for global escapes. Our type
system guarantees further safety and liveness properties, such as progress within the
session and atomicity of escapes with respect to the subset of involved participants
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
Sara Capecchi; Elena Giachino; Nobuko Yoshida
Link alla scheda completa:
Titolo del libro:
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)
Pubblicato in: