eprintid: 2322
rev_number: 9
eprint_status: archive
userid: 59
dir: disk0/00/00/23/22
datestamp: 2014-10-09 13:45:05
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-09 13:45:05
type: book_section
metadata_visibility: show
creators_name: Padovani, Luca
creators_name: Vasconcelos, Vasco Thudichum
creators_name: Torres Vieira, Hugo 
creators_id: 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
title: Typing liveness in multiparty communicating systems
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: Proceedings of the 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014
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.
date: 2014
series: Lecture Notes in Computer Science
publisher: Springer
pagerange: 147-162
id_number: 10.1007/978-3-662-43376-8_10
refereed: TRUE
isbn: 978-3-662-43376-8
book_title: Coordination Models and Languages
official_url: http://dx.doi.org/10.1007/978-3-662-43376-8_10
citation:   Padovani, Luca and Vasconcelos, Vasco Thudichum and Torres Vieira, Hugo   Typing liveness in multiparty communicating systems.   In:  Coordination Models and Languages.   Lecture Notes in Computer Science .  Springer, pp. 147-162.  ISBN 978-3-662-43376-8      (2014)  
document_url: http://eprints.imtlucca.it/2322/1/TorresVieira_LNCS_2014.pdf