Buffered Communication Analysis in Distributed Multiparty Sessions

Pierre-Malo Denielou, Nobuko Yoshida

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	CONCUR 2010 - CONCURRENCY THEORY
Editors	P Gastin, F Laroussinie
Place of Publication	BERLIN
Publisher	SPRINGER-VERLAG BERLIN
Pages	343-357
Number of pages	15
ISBN (Print)	978-3-642-1537407
DOIs	https://doi.org/10.1007/978-3-642-15375-4_24
Publication status	Published - 2010
Event	21st Conference on Concurrency Theory - Paris Duration: 31 Aug 2010 → 3 Sept 2010

Conference	21st Conference on Concurrency Theory
City	Paris
Period	31/08/10 → 3/09/10

Access to Document

@inproceedings{a81617aad89242faa6060429df19fa57,

title = "Buffered Communication Analysis in Distributed Multiparty Sessions",

author = "Pierre-Malo Denielou and Nobuko Yoshida",

year = "2010",

doi = "http://dx.doi.org/10.1007/978-3-642-15375-4_24",

language = "English",

isbn = "978-3-642-1537407",

pages = "343--357",

editor = "P Gastin and F Laroussinie",

booktitle = "CONCUR 2010 - CONCURRENCY THEORY",

publisher = "SPRINGER-VERLAG BERLIN",

note = "21st Conference on Concurrency Theory ; Conference date: 31-08-2010 Through 03-09-2010",

}

TY - GEN

T1 - Buffered Communication Analysis in Distributed Multiparty Sessions

AU - Denielou, Pierre-Malo

AU - Yoshida, Nobuko

PY - 2010

Y1 - 2010

U2 - http://dx.doi.org/10.1007/978-3-642-15375-4_24

DO - http://dx.doi.org/10.1007/978-3-642-15375-4_24

M3 - Conference contribution

SN - 978-3-642-1537407

SP - 343

EP - 357

BT - CONCUR 2010 - CONCURRENCY THEORY

A2 - Gastin, P

A2 - Laroussinie, F

PB - SPRINGER-VERLAG BERLIN

CY - BERLIN

T2 - 21st Conference on Concurrency Theory

Y2 - 31 August 2010 through 3 September 2010

ER -