@article{eprints2299,
         journal = {Theoretical Computer Science},
       publisher = {Elsevier},
            note = {European Symposium on Programming 2009 \{ESOP\} 2009 },
          author = {Luis Caires and Hugo  Torres Vieira},
           title = {Conversation types },
            year = {2010},
          volume = {411},
           month = {December},
          number = {51?52},
           pages = {4399 -- 4440},
        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. },
             url = {http://eprints.imtlucca.it/2299/},
        keywords = {Behavioral types; Distributed systems; Program analysis; Service-based systems; Session types}
}