Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, March 17, 2016 - 3:26:42 PM
Last modification on : Monday, February 7, 2022 - 4:06:03 PM
Long-term archiving on: : Sunday, November 13, 2016 - 8:30:31 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads