[Lecture Notes in Computer Science] Concurrent Objects and Beyond Volume 8665 || From Linear Types to Behavioural Types and Model Checking

✍ Scribed by Agha, Gul; Igarashi, Atsushi; Kobayashi, Naoki; Masuhara, Hidehiko; Matsuoka, Satoshi; Shibayama, Etsuya; Taura, Kenjiro

• Book ID: 127011770
• Publisher: Springer Berlin Heidelberg
• Year: 2014
• Tongue: English
• Weight: 318 KB
• Edition: 2
• Category: Article
• ISBN: 3662444712
• DOI: 10.1007/978-3-662-44471-9_6

✦ Synopsis

This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers in this Festschrift were presented at an international symposium celebrating this occasion. Also included are reprints of two of Professor Yonezawa's most influential papers on the programming language ABCL. The volume is a testament strong and lasting impact Professor Yonezawa's research accomplishments as well as the inspiration he has been to colleagues and students alike.