relation: http://eprints.imtlucca.it/2320/
title: Typing progress in communication-centred systems
creator: Torres Vieira, Hugo 
creator: Vasconcelos, Vasco Thudichum
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
date: 2013
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/2320/1/TorresVieira_LNCS_7890.pdf
identifier:   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)  
relation: http://dx.doi.org/10.1007/978-3-642-38493-6_17
relation: 10.1007/978-3-642-38493-6_17