Concurrent Objects and Beyond

Concurrent Objects and Beyond
Author : Gul Agha
Publisher : Springer
Total Pages : 447
Release : 2014-09-09
ISBN 10 : 9783662444719
ISBN 13 : 3662444712
Language : EN, FR, DE, ES & NL


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.

More Books:

Concurrent Objects and Beyond
Language: en
Pages: 447
Authors: Gul Agha
Categories: Computers
Type: BOOK - Published: 2014-09-09 - Publisher: Springer

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 20
Object-Based Concurrent Computing
Language: en
Pages: 264
Authors: Mario Tokoro
Categories: Computers
Type: BOOK - Published: 1992-06-16 - Publisher: Springer Science & Business Media

The ECOOP '91 Workshop on Object-Based Concurrent Computing was organized toprovide a forum on concurrent, distributed and open-ended computing. The emphasis wa
Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects
Language: en
Pages: 450
Authors: Douglas C. Schmidt
Categories: Computers
Type: BOOK - Published: 2013-04-22 - Publisher: John Wiley & Sons

Designing application and middleware software to run in concurrent and networked environments is a significant challenge to software developers. The patterns ca
Formal Aspects of Component Software
Language: en
Pages: 297
Authors: Kyungmin Bae
Categories: Computers
Type: BOOK - Published: 2018-10-06 - Publisher: Springer

This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Language: en
Pages: 544
Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2020-10-26 - Publisher: Springer Nature

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, IS
Objects for Concurrent Constraint Programming
Language: en
Pages: 171
Authors: Martin Henz
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Concurrent constraint programming (ccp) is a recent development in programming language design. Its central contribution is the notion of partial information pr
Algebraic Biology
Language: en
Pages: 379
Authors: Hirokazu Anai
Categories: Computers
Type: BOOK - Published: 2007-08-13 - Publisher: Springer

This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdisciplinary foru
Advances in Software Engineering and Knowledge Engineering
Language: en
Pages: 200
Authors: Vincenzo Ambriola
Categories: Computers
Type: BOOK - Published: 1993-12-27 - Publisher: World Scientific

The papers collected in the book were invited by the editors as tutorial courses or keynote speeches for the Fourth International Conference on Software Enginee
Open Multithreaded Transactions
Language: en
Pages: 279
Authors: Jörg Kienzle
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

This book investigates how transactions can be integrated with concurrent object-oriented programming, and how transactions can be made available to an applicat
Concurrency, Compositionality, and Correctness
Language: en
Pages: 377
Authors: Dennis Dams
Categories: Computers
Type: BOOK - Published: 2010-02-24 - Publisher: Springer Science & Business Media

This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all emin