relation: http://eprints.imtlucca.it/2299/
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: Elsevier
date: 2010-12
type: Article
type: PeerReviewed
identifier:   Caires, Luis and Torres Vieira, Hugo   Conversation types.  Theoretical Computer Science, 411 (51–52).  4399 - 4440.  ISSN 0304-3975      (2010)  
relation: http://www.sciencedirect.com/science/article/pii/S0304397510004895
relation: 10.1016/j.tcs.2010.09.010