On the undecidability of asynchronous session subtyping

Julien Lange; Nobuko Yoshida

doi:10.1007/978-3-662-54458-7_26

On the undecidability of asynchronous session subtyping

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

Original language	English
Title of host publication	Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings
Editors	Javier Esparza, Andrzej S. Murawski
Publisher	Springer Verlag
Pages	441-457
Number of pages	17
ISBN (Electronic)	978-3-662-54458-7
ISBN (Print)	978-3-662-54457-0
DOIs	https://doi.org/10.1007/978-3-662-54458-7_26
Publication status	Published - 16 Mar 2017
Event	20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017 - Uppsala, Sweden Duration: 22 Apr 2017 → 29 Apr 2017

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10203 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017
Country/Territory	Sweden
City	Uppsala
Period	22/04/17 → 29/04/17

Access to Document

10.1007/978-3-662-54458-7_26

Cite this

Lange, J., & Yoshida, N. (2017). On the undecidability of asynchronous session subtyping. In J. Esparza, & A. S. Murawski (Eds.), Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings (pp. 441-457). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10203 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-662-54458-7_26

Lange, Julien ; Yoshida, Nobuko. / On the undecidability of asynchronous session subtyping. Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. editor / Javier Esparza ; Andrzej S. Murawski. Springer Verlag, 2017. pp. 441-457 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{3537445e8d56487abee3cbd848ae4e9c,

title = "On the undecidability of asynchronous session subtyping",

author = "Julien Lange and Nobuko Yoshida",

year = "2017",

month = mar,

day = "16",

doi = "10.1007/978-3-662-54458-7_26",

language = "English",

isbn = "978-3-662-54457-0",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "441--457",

editor = "Javier Esparza and Murawski, {Andrzej S.}",

booktitle = "Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings",

address = "Germany",

note = "20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017 ; Conference date: 22-04-2017 Through 29-04-2017",

}

Lange, J & Yoshida, N 2017, On the undecidability of asynchronous session subtyping. in J Esparza & AS Murawski (eds), Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10203 LNCS, Springer Verlag, pp. 441-457, 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, Uppsala, Sweden, 22/04/17. https://doi.org/10.1007/978-3-662-54458-7_26

On the undecidability of asynchronous session subtyping. / Lange, Julien; Yoshida, Nobuko.
Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. ed. / Javier Esparza; Andrzej S. Murawski. Springer Verlag, 2017. p. 441-457 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10203 LNCS).

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

TY - GEN

T1 - On the undecidability of asynchronous session subtyping

AU - Lange, Julien

AU - Yoshida, Nobuko

PY - 2017/3/16

Y1 - 2017/3/16

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

U2 - 10.1007/978-3-662-54458-7_26

DO - 10.1007/978-3-662-54458-7_26

M3 - Conference contribution

AN - SCOPUS:85015927702

SN - 978-3-662-54457-0

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 441

EP - 457

BT - Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings

A2 - Esparza, Javier

A2 - Murawski, Andrzej S.

PB - Springer Verlag

T2 - 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017

Y2 - 22 April 2017 through 29 April 2017

ER -

Lange J, Yoshida N. On the undecidability of asynchronous session subtyping. In Esparza J, Murawski AS, editors, Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Springer Verlag. 2017. p. 441-457. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-54458-7_26

On the undecidability of asynchronous session subtyping

Publication series

Conference

Access to Document

Other files and links

Cite this