eprintid: 2320
rev_number: 8
eprint_status: archive
userid: 59
dir: disk0/00/00/23/20
datestamp: 2014-10-09 13:30:52
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-09 13:30:52
type: book_section
metadata_visibility: show
creators_name: Torres Vieira, Hugo 
creators_name: Vasconcelos, Vasco Thudichum
creators_id: hugo.torresvieira@imtlucca.it
creators_id: 
title: Typing progress in communication-centred systems
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: Proceedings of the 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. 
abstract: We present a type system for the analysis of progress in session-based communication centred systems. Our development is carried out in a minimal setting considering classic (binary) sessions, but building on and generalising previous work on progress analysis in the context of conversation types. Our contributions aim at underpinning forthcoming works on progress for session-typed systems, so as to support richer verification procedures based on a more foundational approach. Although this work does not target expressiveness, our approach already addresses challenging scenarios which are unaccounted for elsewhere in the literature, in particular systems that interleave communications on received session channels.
date: 2013
series: Lecture Notes in Computer Science
number: 7890
publisher: Springer
pagerange: 236-250
id_number: 10.1007/978-3-642-38493-6_17
refereed: TRUE
isbn: 978-3-642-38493-6
book_title: Coordination Models and Languages
official_url: http://dx.doi.org/10.1007/978-3-642-38493-6_17
citation:   Torres Vieira, Hugo  and Vasconcelos, Vasco Thudichum  Typing progress in communication-centred systems.   In:  Coordination Models and Languages.   Lecture Notes in Computer Science  (7890).  Springer, pp. 236-250.  ISBN 978-3-642-38493-6      (2013)  
document_url: http://eprints.imtlucca.it/2320/1/TorresVieira_LNCS_7890.pdf