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 metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-01290074
Contributor : Hal Ifip <>
Submitted on : Thursday, March 17, 2016 - 3:26:42 PM
Last modification on : Thursday, May 12, 2016 - 10:47:52 AM
Long-term archiving on: : Sunday, November 13, 2016 - 8:30:31 PM

File

326181_1_En_10_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Luca Padovani, Vasco Vasconcelos, Hugo 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⟩

Share

Metrics

Record views

77

Files downloads

149