Naoki Kobayashi. From Linear Types to Behavioural Types and Model Checking. In Gul A. Agha, Atsushi Igarashi, Naoki Kobayashi 0001, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura, editors, Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday. Volume 8665 of Lecture Notes in Computer Science, pages 128-143, Springer, 2014. [doi]
@inproceedings{Kobayashi14-14,
title = {From Linear Types to Behavioural Types and Model Checking},
author = {Naoki Kobayashi},
year = {2014},
doi = {10.1007/978-3-662-44471-9_6},
url = {http://dx.doi.org/10.1007/978-3-662-44471-9_6},
researchr = {https://researchr.org/publication/Kobayashi14-14},
cites = {0},
citedby = {0},
pages = {128-143},
booktitle = {Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday},
editor = {Gul A. Agha and Atsushi Igarashi and Naoki Kobayashi 0001 and Hidehiko Masuhara and Satoshi Matsuoka and Etsuya Shibayama and Kenjiro Taura},
volume = {8665},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-662-44470-2},
}