Multiparty Session Types Within A Canonical Binary Theory, and Beyond

Luis Caires; Jorge Andres Perez Parra

doi:10.1007/978-3-319-39570-8_6

Multiparty Session Types Within A Canonical Binary Theory, and Beyond

Luis Caires, Jorge Andres Perez Parra

Fundamental Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

32 Citations (Scopus)

Original language	English
Title of host publication	Formal Techniques for Distributed Objects, Components, and Systems
Subtitle of host publication	6th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Editors	Elvira Albert, Ivan Lanese
Publisher	Springer Verlag
Pages	74–95
ISBN (Print)	978-3-319-39569-2
DOIs	https://doi.org/10.1007/978-3-319-39570-8_6
Publication status	Published - Jun-2016
Event	36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016 - Heraklion, Greece Duration: 1-Jun-2016 → …

Publication series

Name	Lecture Notes in Computer Science
Volume	9688

Conference

Conference	36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016
Country/Territory	Greece
City	Heraklion
Period	01/06/2016 → …

Access to Document

10.1007/978-3-319-39570-8_6

Handle.net

Persistent link

Cite this

Caires, L., & Perez Parra, J. A. (2016). Multiparty Session Types Within A Canonical Binary Theory, and Beyond. In E. Albert, & I. Lanese (Eds.), Formal Techniques for Distributed Objects, Components, and Systems: 6th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings (pp. 74–95). ( Lecture Notes in Computer Science; Vol. 9688). Springer Verlag. https://doi.org/10.1007/978-3-319-39570-8_6

Caires, Luis ; Perez Parra, Jorge Andres. / Multiparty Session Types Within A Canonical Binary Theory, and Beyond. Formal Techniques for Distributed Objects, Components, and Systems: 6th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. editor / Elvira Albert ; Ivan Lanese. Springer Verlag, 2016. pp. 74–95 ( Lecture Notes in Computer Science).

@inproceedings{db47db721c364b6cb3cfe49014fb2d33,

title = "Multiparty Session Types Within A Canonical Binary Theory, and Beyond",

author = "Luis Caires and {Perez Parra}, {Jorge Andres}",

year = "2016",

month = jun,

doi = "10.1007/978-3-319-39570-8_6",

language = "English",

isbn = " 978-3-319-39569-2",

series = " Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "74–95",

editor = "Elvira Albert and Ivan Lanese",

booktitle = "Formal Techniques for Distributed Objects, Components, and Systems",

note = "36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016 ; Conference date: 01-06-2016",

}

Caires, L & Perez Parra, JA 2016, Multiparty Session Types Within A Canonical Binary Theory, and Beyond. in E Albert & I Lanese (eds), Formal Techniques for Distributed Objects, Components, and Systems: 6th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9688, Springer Verlag, pp. 74–95, 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016, Heraklion, Greece, 01/06/2016. https://doi.org/10.1007/978-3-319-39570-8_6

Multiparty Session Types Within A Canonical Binary Theory, and Beyond. / Caires, Luis; Perez Parra, Jorge Andres.
Formal Techniques for Distributed Objects, Components, and Systems: 6th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. ed. / Elvira Albert; Ivan Lanese. Springer Verlag, 2016. p. 74–95 ( Lecture Notes in Computer Science; Vol. 9688).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Multiparty Session Types Within A Canonical Binary Theory, and Beyond

AU - Caires, Luis

AU - Perez Parra, Jorge Andres

PY - 2016/6

Y1 - 2016/6

U2 - 10.1007/978-3-319-39570-8_6

DO - 10.1007/978-3-319-39570-8_6

M3 - Conference contribution

SN - 978-3-319-39569-2

T3 - Lecture Notes in Computer Science

SP - 74

EP - 95

BT - Formal Techniques for Distributed Objects, Components, and Systems

A2 - Albert, Elvira

A2 - Lanese, Ivan

PB - Springer Verlag

T2 - 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016

Y2 - 1 June 2016

ER -

Caires L, Perez Parra JA. Multiparty Session Types Within A Canonical Binary Theory, and Beyond. In Albert E, Lanese I, editors, Formal Techniques for Distributed Objects, Components, and Systems: 6th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Springer Verlag. 2016. p. 74–95. ( Lecture Notes in Computer Science). doi: 10.1007/978-3-319-39570-8_6