Multiparty Session Types Meet Communicating Automata

Pierre-Malo Deniélou; Nobuko Yoshida

doi:10.1007/978-3-642-28869-2_10

Multiparty Session Types Meet Communicating Automata

Pierre-Malo Deniélou, Nobuko Yoshida

Department of Computer Science

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

Original language	English
Title of host publication	Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012: Proceedings
Editors	Helmut Seidl
Publisher	Springer
Pages	194-213
Number of pages	20
ISBN (Electronic)	978-3-642-28869-2
ISBN (Print)	978-3-642-28868-5
DOIs	https://doi.org/10.1007/978-3-642-28869-2_10
Publication status	Published - 2012
Event	21st European Symposium on Programming, ESOP 2012 - Tallinn, Estonia Duration: 24 Mar 2012 → 1 Apr 2012

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7211
ISSN (Print)	0302-9743

Conference

Conference	21st European Symposium on Programming, ESOP 2012
Country/Territory	Estonia
City	Tallinn
Period	24/03/12 → 1/04/12

Access to Document

10.1007/978-3-642-28869-2_10

http://link.springer.com/chapter/10.1007%2F978-3-642-28869-2_10

Cite this

Deniélou, P.-M., & Yoshida, N. (2012). Multiparty Session Types Meet Communicating Automata. In H. Seidl (Ed.), Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012: Proceedings (pp. 194-213). (Lecture Notes in Computer Science; Vol. 7211). Springer. https://doi.org/10.1007/978-3-642-28869-2_10

Deniélou, Pierre-Malo ; Yoshida, Nobuko. / Multiparty Session Types Meet Communicating Automata. Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012: Proceedings. editor / Helmut Seidl. Springer, 2012. pp. 194-213 (Lecture Notes in Computer Science).

@inproceedings{ac2fa3cb6d634bbdbb7687699ff1f17c,

title = "Multiparty Session Types Meet Communicating Automata",

author = "Pierre-Malo Deni{\'e}lou and Nobuko Yoshida",

year = "2012",

doi = "10.1007/978-3-642-28869-2_10",

language = "English",

isbn = "978-3-642-28868-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "194--213",

editor = "Helmut Seidl",

booktitle = "Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012: Proceedings",

note = "21st European Symposium on Programming, ESOP 2012 ; Conference date: 24-03-2012 Through 01-04-2012",

}

Deniélou, P-M & Yoshida, N 2012, Multiparty Session Types Meet Communicating Automata. in H Seidl (ed.), Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012: Proceedings. Lecture Notes in Computer Science, vol. 7211, Springer, pp. 194-213, 21st European Symposium on Programming, ESOP 2012, Tallinn, Estonia, 24/03/12. https://doi.org/10.1007/978-3-642-28869-2_10

Multiparty Session Types Meet Communicating Automata. / Deniélou, Pierre-Malo; Yoshida, Nobuko.
Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012: Proceedings. ed. / Helmut Seidl. Springer, 2012. p. 194-213 (Lecture Notes in Computer Science; Vol. 7211).

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

TY - GEN

T1 - Multiparty Session Types Meet Communicating Automata

AU - Deniélou, Pierre-Malo

AU - Yoshida, Nobuko

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-28869-2_10

DO - 10.1007/978-3-642-28869-2_10

M3 - Conference contribution

SN - 978-3-642-28868-5

T3 - Lecture Notes in Computer Science

SP - 194

EP - 213

BT - Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012: Proceedings

A2 - Seidl, Helmut

PB - Springer

T2 - 21st European Symposium on Programming, ESOP 2012

Y2 - 24 March 2012 through 1 April 2012

ER -

Deniélou PM, Yoshida N. Multiparty Session Types Meet Communicating Automata. In Seidl H, editor, Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012: Proceedings. Springer. 2012. p. 194-213. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-28869-2_10