relation: http://eprints.imtlucca.it/2298/
title: Conversation types
creator: Caires, Luis
creator: Torres Vieira, Hugo 
subject: QA75 Electronic computers. Computer science
description: We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able to uniformly describe both the internal and the interface behavior of systems, referred respectively as choreographies and contracts in web-services terminology. The notion of conversation builds on the fundamental concept of session, but generalizes it along directions up to now unexplored; in particular, conversation types discipline interactions in conversations while accounting for dynamical join and leave of an unanticipated number of participants. We prove that well-typed systems never violate the prescribed conversation constraints. We also present techniques to ensure progress of systems involving several interleaved conversations, a previously open problem.
publisher: Springer
date: 2009
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/2298/1/TorresVieira_LNCS_5502.pdf
identifier:   Caires, Luis and Torres Vieira, Hugo   Conversation types.   In:  Programming Languages and Systems.   Lecture Notes in Computer Science  (5502).  Springer, pp. 285-300.  ISBN 978-3-642-00590-9      (2009)  
relation: http://dx.doi.org/10.1007/978-3-642-00590-9_21
relation: 10.1007/978-3-642-00590-9_21