From Linear Types to Behavioural Types and Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Naoki Kobayashi' in Google

runs on WebDSL