On global types and multi-party sessions

International audience We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessions obtained projecting our global types enjoy a liveness property in addition to the traditional p...

Full description

Bibliographic Details
Main Authors: Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Padovani, Luca
Other Authors: Preuves, Programmes et Systèmes (PPS), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Dipartimento di Informatica Torino, Università degli studi di Torino = University of Turin (UNITO), Roberto Bruni, Juergen Dingel, TC 6, WG 6.1
Format: Conference Object
Language:English
Published: HAL CCSD 2011
Subjects:
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Iceland
Online Access:https://hal.science/hal-00618814
https://hal.science/hal-00618814/document
https://hal.science/hal-00618814/file/978-3-642-21461-5_1_Chapter.pdf
https://doi.org/10.1007/978-3-642-21461-5_1
Description
Summary:International audience We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessions obtained projecting our global types enjoy a liveness property in addition to the traditional progress and are shown to be sound and complete with respect to the set of traces of the originating global type. Our notion of completeness is less demanding than the classical ones, allowing a multi-party session to leave out redundant traces from an underspecified global type.

Similar Items