Buffered Communication Analysis in Distributed Multiparty Sessions

Pierre-Malo Denielou, Nobuko Yoshida

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationCONCUR 2010 - CONCURRENCY THEORY
EditorsP Gastin, F Laroussinie
Place of PublicationBERLIN
PublisherSPRINGER-VERLAG BERLIN
Pages343-357
Number of pages15
ISBN (Print)978-3-642-1537407
DOIs
Publication statusPublished - 2010
Event21st Conference on Concurrency Theory - Paris
Duration: 31 Aug 20103 Sep 2010

Conference

Conference21st Conference on Concurrency Theory
CityParis
Period31/08/103/09/10

Cite this