Typing Liveness in Multiparty Communicating Systems - LNCS 8459: Coordination Models and Languages
Conference Papers Year : 2014

Typing Liveness in Multiparty Communicating Systems

Abstract

Session type systems are an effective tool to prove that communicating programs do not go wrong, ensuring that the participants of a session follow the protocols described by the types. In a previous work we introduced a typing discipline for the analysis of progress in binary sessions. In this paper we generalize the approach to multiparty sessions following the conversation type approach, while strengthening progress to liveness. We combine the usual session-like fidelity analysis with the liveness analysis and devise an original treatment of recursive types allowing us to address challenging configurations that are out of the reach of existing approaches.
Fichier principal
Vignette du fichier
326181_1_En_10_Chapter.pdf (4 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01290074 , version 1 (17-03-2016)

Licence

Identifiers

Cite

Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira. Typing Liveness in Multiparty Communicating Systems. 16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.147-162, ⟨10.1007/978-3-662-43376-8_10⟩. ⟨hal-01290074⟩
42 View
63 Download

Altmetric

Share

More