@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",
}