A sound algorithm for asynchronous session subtyping

Mario Bravetti; Marco Carbone; Julien Lange; Nobuko Yoshida; Gianluigi Zavattaro

doi:10.4230/LIPIcs.CONCUR.2019.38

A sound algorithm for asynchronous session subtyping

Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

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

Original language	English
Title of host publication	30th International Conference on Concurrency Theory, CONCUR 2019
Editors	Wan Fokkink, Rob van Glabbeek
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Number of pages	16
ISBN (Electronic)	9783959771214
DOIs	https://doi.org/10.4230/LIPIcs.CONCUR.2019.38
Publication status	Published - 20 Aug 2019
Event	30th International Conference on Concurrency Theory, CONCUR 2019 - Amsterdam, Netherlands Duration: 27 Aug 2019 → 30 Aug 2019

Publication series

Name	Leibniz International Proceedings in Informatics, LIPIcs
Volume	140
ISSN (Print)	1868-8969

Conference

Conference	30th International Conference on Concurrency Theory, CONCUR 2019
Country/Territory	Netherlands
City	Amsterdam
Period	27/08/19 → 30/08/19

Keywords

Algorithm
Concurrency
Session types
Subtyping

Access to Document

10.4230/LIPIcs.CONCUR.2019.38Licence: CC BY

Cite this

Bravetti, M., Carbone, M., Lange, J., Yoshida, N., & Zavattaro, G. (2019). A sound algorithm for asynchronous session subtyping. In W. Fokkink, & R. van Glabbeek (Eds.), 30th International Conference on Concurrency Theory, CONCUR 2019 Article 38 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 140). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CONCUR.2019.38

@inproceedings{130e646f65aa47cbb2a59bdbefd0e593,

title = "A sound algorithm for asynchronous session subtyping",

keywords = "Algorithm, Concurrency, Session types, Subtyping",

author = "Mario Bravetti and Marco Carbone and Julien Lange and Nobuko Yoshida and Gianluigi Zavattaro",

year = "2019",

month = aug,

day = "20",

doi = "10.4230/LIPIcs.CONCUR.2019.38",

language = "English",

series = "Leibniz International Proceedings in Informatics, LIPIcs",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

editor = "Wan Fokkink and {van Glabbeek}, Rob",

booktitle = "30th International Conference on Concurrency Theory, CONCUR 2019",

note = "30th International Conference on Concurrency Theory, CONCUR 2019 ; Conference date: 27-08-2019 Through 30-08-2019",

}

Bravetti, M, Carbone, M, Lange, J, Yoshida, N & Zavattaro, G 2019, A sound algorithm for asynchronous session subtyping. in W Fokkink & R van Glabbeek (eds), 30th International Conference on Concurrency Theory, CONCUR 2019., 38, Leibniz International Proceedings in Informatics, LIPIcs, vol. 140, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 30th International Conference on Concurrency Theory, CONCUR 2019, Amsterdam, Netherlands, 27/08/19. https://doi.org/10.4230/LIPIcs.CONCUR.2019.38

A sound algorithm for asynchronous session subtyping. / Bravetti, Mario; Carbone, Marco; Lange, Julien et al.
30th International Conference on Concurrency Theory, CONCUR 2019. ed. / Wan Fokkink; Rob van Glabbeek. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. 38 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 140).

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

TY - GEN

T1 - A sound algorithm for asynchronous session subtyping

AU - Bravetti, Mario

AU - Carbone, Marco

AU - Lange, Julien

AU - Yoshida, Nobuko

AU - Zavattaro, Gianluigi

PY - 2019/8/20

Y1 - 2019/8/20

KW - Algorithm

KW - Concurrency

KW - Session types

KW - Subtyping

UR - http://www.scopus.com/inward/record.url?scp=85071618264&partnerID=8YFLogxK

U2 - 10.4230/LIPIcs.CONCUR.2019.38

DO - 10.4230/LIPIcs.CONCUR.2019.38

M3 - Conference contribution

AN - SCOPUS:85071618264

T3 - Leibniz International Proceedings in Informatics, LIPIcs

BT - 30th International Conference on Concurrency Theory, CONCUR 2019

A2 - Fokkink, Wan

A2 - van Glabbeek, Rob

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

T2 - 30th International Conference on Concurrency Theory, CONCUR 2019

Y2 - 27 August 2019 through 30 August 2019

ER -

Bravetti M, Carbone M, Lange J, Yoshida N, Zavattaro G. A sound algorithm for asynchronous session subtyping. In Fokkink W, van Glabbeek R, editors, 30th International Conference on Concurrency Theory, CONCUR 2019. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2019. 38. (Leibniz International Proceedings in Informatics, LIPIcs). doi: 10.4230/LIPIcs.CONCUR.2019.38

A sound algorithm for asynchronous session subtyping

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this