Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida. Structuring Communication with Session Types. 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 105-127, Springer, 2014. [doi]
No reviews for this publication, yet.