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

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

[Lecture Notes in Computer Science] Advanced Lectures on Software Engineering Volume 6029 || SCOOP – A Contract-Based Concurrent Object-Oriented Programming Model

✍ Müller, Peter 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 525 KB

Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by sof