Concurrent Objects and Beyond

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

The ECOOP '91 Workshop on Object-Based Concurrent Computing was organized toprovide a forum on concurrent, distributed and open-ended computing. The emphasis wa

Designing application and middleware software to run in concurrent and networked environments is a significant challenge to software developers. The patterns ca

This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, IS

Concurrent constraint programming (ccp) is a recent development in programming language design. Its central contribution is the notion of partial information pr

This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdisciplinary foru

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

This book investigates how transactions can be integrated with concurrent object-oriented programming, and how transactions can be made available to an applicat

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