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

[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] Conc

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

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

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 inclu

[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

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] Para

[Lecture Notes in Computer Science] Parallel Computing Technologies Volume 6873 || Looking for Efficient Implementations of Concurrent Objects

✍ Malyshkin, Victor 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 259 KB

[Lecture Notes in Computer Science] Sear

[Lecture Notes in Computer Science] Search-Based Software Engineering Volume 8636 || Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software

✍ Le Goues, Claire; Yoo, Shin 📂 Article 📅 2014 🏛 Springer International Publishing 🌐 English ⚖ 294 KB

This book constitutes the refereed proceedings of the 6th International Symposium on Search-Based Software Engineering, SSBSE 2014, held in Fortaleza, Brazil. The 14 revised full papers presented together with 2 keynote addresses, 1 invited talk, 1 short paper, 3 papers of the graduate track, and 4