✦ LIBER ✦

[Lecture Notes in Computer Science] Concurrent Objects and Beyond Volume 8665 || Verifiable Object-Oriented Transactions

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

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

No coin nor oath required. For personal study only.

✦ 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.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Conc

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

✍ Agha, Gul; Igarashi, Atsushi; Kobayashi, Naoki; Masuhara, Hidehiko; Matsuoka, Sa 📂 Article 📅 2014 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 318 KB

[Lecture Notes in Computer Science] Conc

[Lecture Notes in Computer Science] Concurrent Object-Oriented Programming and Petri Nets Volume 2001 || Concurrency in Communicating Object Petri Nets

✍ Agha, Gul A.; De Cindio, Fiorella; Rozenberg, Grzegorz 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 356 KB

Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential systems, objects are a natural unit of distribution and concurrency - as elucidated early on by resear

[Lecture Notes in Computer Science] Conc

[Lecture Notes in Computer Science] Concurrent Object-Oriented Programming and Petri Nets Volume 2001 || Concurrency in Communicating Object Petri Nets

✍ Agha, Gul A.; De Cindio, Fiorella; Rozenberg, Grzegorz 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 356 KB

[Lecture Notes in Computer Science] Obje

[Lecture Notes in Computer Science] Object-Based Concurrent Computing Volume 612 || Design issues for object-based concurrency

✍ Tokoro, M.; Nierstrasz, O.; Wegner, P. 📂 Article 📅 1992 🏛 Springer Berlin Heidelberg ⚖ 700 KB

[Lecture Notes in Computer Science] Obje

[Lecture Notes in Computer Science] Object-Based Concurrent Computing Volume 612 || Semantic layers of object-based concurrent computing

✍ Tokoro, M.; Nierstrasz, O.; Wegner, P. 📂 Article 📅 1992 🏛 Springer Berlin Heidelberg ⚖ 948 KB

[Lecture Notes in Computer Science] ECOO

[Lecture Notes in Computer Science] ECOOP 2009 – Object-Oriented Programming Volume 5653 || The Myths of Object-Orientation

✍ Drossopoulou, Sophia 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 149 KB

Welcome To The Proceedings Of Ecoop 2009! Thanks To The Local Organizersfor Working Hard On Arranging The Conference — With The Hard Work They Put In, It Was A Great Success. Thanks To Sophia Drossopoulou For Her Dedicated Work As Pc Chair In Assembling A ?ne Scienti?c Program Including Forward-look