• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Conversation Types (2008)

Cached

  • Download as a PDF

Download Links

  • [www-ctp.di.fct.unl.pt]
  • [www-ctp.di.fct.unl.pt]
  • [www-ctp.di.fct.unl.pt]
  • [ctp.di.fct.unl.pt]
  • [www-ctp.di.fct.unl.pt]
  • [ctp.di.fct.unl.pt]
  • [www-ctp.di.fct.unl.pt]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Luís Caires , Hugo Torres Vieira
Citations:26 - 6 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Caires08conversationtypes,
    author = {Luís Caires and Hugo Torres Vieira},
    title = {Conversation Types},
    year = {2008}
}

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

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. 1

Citations

933 A calculus of mobile processes - Milner, Parrow, et al. - 1992
580 Types and Programming Languages - Pierce - 2002
367 The ⇡-calculus: A Theory of Mobile Processes - Sangiorgi, Walker - 2001
162 Language primitives and type disciplines for structured communication-based programming - Honda, Vasconcelos, et al. - 1998
119 Linearity and the Pi-Calculus - Kobayashi, Pierce, et al. - 1999
81 A Generic Type System for the PiCalculus - Igarashi, Kobayashi - 2004
70 Types as models: Model Checking Message-Passing Programs - Chaki, Rajamani, et al. - 2002
70 Types for dyadic interaction - Honda - 1993
69 Structured communication-centred programming for web services - Carbone, Honda, et al. - 2007
52 Multiparty asynchronous session types - Honda, Yoshida, et al. - 2008
34 L.: A Theory of Contracts for Web Services - Castagna, Gesbert, et al. - 2008
23 A New Type System for Deadlock-Free Processes - Kobayashi - 2006
23 Multipoint Session Types for a Distributed Calculus - Bonelli, Compagnoni - 2008
22 Fast allocation of nearby resources in a distributed system - Lynch - 1980
15 On Progress for Structured Communications - Dezani-Ciancaglini, Liguoro, et al. - 2008
13 A Type System for Client Progress in a Service-Oriented Calculus - Acciai, Boreale - 2008
12 Global Progress in Dynamically Interleaved Multiparty Sessions - Bettini, Coppo, et al. - 2008
11 The Conversation Calculus: A Model of Service-Oriented Computation - Vieira, Caires, et al. - 2008
10 Objects and session types - Dezani-Ciancaglini, Drossopoulou, et al.
9 Types and deadlock freedom in a calculus of services, sessions and pipelines - Bruni, Mezzina - 2008
9 Spatial-Behavioral Types for Concurrency and Resource Control in Distributed Systems - Caires
6 Subtyping for Session Types - Gay, Hole - 2005
5 G.: A Foundational Theory of Contracts for Multi-party Service Composition - Bravetti, Zavattaro - 2008
2 Contract-Driven Implementation of Choreographies - Bravetti, Lanese, et al. - 2009
1 Conversation Types. UNL-DI-3-08, Departamento de Informática, Universidade Nova de - Caires, Vieira - 2008
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University