Characteristic formulae for session types. / Lange, Julien; Yoshida, Nobuko.

Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. ed. / Jean-François Raskin; Marsha Chechik. Springer Verlag, 2016. p. 833-850 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9636).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Characteristic formulae for session types. / Lange, Julien; Yoshida, Nobuko.

Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. ed. / Jean-François Raskin; Marsha Chechik. Springer Verlag, 2016. p. 833-850 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9636).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Lange, J & Yoshida, N 2016, Characteristic formulae for session types. in J-F Raskin & M Chechik (eds), Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9636, Springer Verlag, pp. 833-850, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016 and held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, Netherlands, 2/04/16. https://doi.org/10.1007/978-3-662-49674-9_52

APA

Lange, J., & Yoshida, N. (2016). Characteristic formulae for session types. In J-F. Raskin, & M. Chechik (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings (pp. 833-850). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9636). Springer Verlag. https://doi.org/10.1007/978-3-662-49674-9_52

Vancouver

Lange J, Yoshida N. Characteristic formulae for session types. In Raskin J-F, Chechik M, editors, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Springer Verlag. 2016. p. 833-850. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-662-49674-9_52

Author

Lange, Julien ; Yoshida, Nobuko. / Characteristic formulae for session types. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. editor / Jean-François Raskin ; Marsha Chechik. Springer Verlag, 2016. pp. 833-850 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

BibTeX

@inproceedings{f3d77fc35b4a4c80ac28f89b7047a3ff,
title = "Characteristic formulae for session types",
author = "Julien Lange and Nobuko Yoshida",
year = "2016",
month = apr,
day = "9",
doi = "10.1007/978-3-662-49674-9_52",
language = "English",
isbn = "978-3-662-49673-2",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "833--850",
editor = "Jean-Fran{\c c}ois Raskin and Marsha Chechik",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings",
address = "Germany",
note = "22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016 and held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016 ; Conference date: 02-04-2016 Through 08-04-2016",

}

RIS

TY - GEN

T1 - Characteristic formulae for session types

AU - Lange, Julien

AU - Yoshida, Nobuko

PY - 2016/4/9

Y1 - 2016/4/9

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

U2 - 10.1007/978-3-662-49674-9_52

DO - 10.1007/978-3-662-49674-9_52

M3 - Conference contribution

AN - SCOPUS:84964055200

SN - 978-3-662-49673-2

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

SP - 833

EP - 850

BT - Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings

A2 - Raskin, Jean-François

A2 - Chechik, Marsha

PB - Springer Verlag

T2 - 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016 and held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016

Y2 - 2 April 2016 through 8 April 2016

ER -