Gul Agha

Benny Van Houdt

This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016. The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. They are organized in topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov decision processes and Markovian analysis; networks.

13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

Quantitative Evaluation of Systems

A Model of Concurrent Computation in Distributed Systems (The Mit Press Series in Artificial Intelligence)

ACTORS

Satoshi Matsuoka

Atsushi Igarashi

Naoki Kobayashi

Hidehiko Masuhara

Etsuya Shibayama

Kenjiro Taura

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.

Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

Concurrent Objects and Beyond

Steven Reiss

Bruce D. Shriver

David Beech

Peter Wegner

Daniel G Bobrow

Ole-Johan Dahl

Joseph A Goguen

Brent Hailpern

Kenneth M Kahn

Ole Lehrmann Madsen

David Maier

Andrea Skarra

Harold L Ossher

Herbert Schwetman

Reid Smith

Alan Snyder

Stanley Zdonik

Once a radical notion, object-oriented programming is one of today's most active research areas. It is especially well suited to the design of very large software projects involving many programmers all working on the same project. The original contributions in this book will provide researchers and students in programming languages, databases, and programming semantics with the most complete survey of the field available. Broad in scope and deep in its examination of substantive issues, the book focuses on the major topics of object-oriented languages, models of computation, mathematical models, object-oriented databases, and object-oriented environments.The object-oriented languages include Beta, the Scandinavian successor to Simula (a chapter by Bent Kristensen, whose group has had the longest experience with object-oriented programming, reveals how that experience has shaped the group's vision today); CommonObjects, a Lisp-based language with abstraction; Actors, a low-level language for concurrent modularity; and Vulcan, a Prolog-based concurrent object-oriented language.New computational models of inheritance, composite objects, block-structure layered systems, and classification are covered, and theoretical papers on functional object-oriented languages and object-oriented specification are included in the section on mathematical models.The three chapters on object-oriented databases (including David Maier's "Development and Implementation of an Object-Oriented Database Management System," which spans the programming and database worlds by integrating procedural and representational capability and the requirements of multi-user persistent storage) and the two chapters on object-oriented environments provide a representative sample of good research in these two important areas.Bruce Shriver is a researcher at IBM's Thomas J. Watson Research Center. Peter Wegner is a professor in the Department of Computer Science at Brown University. Research Directions in Object-Oriented Programming is included in the Computer Systems series, edited by Herb Schwetman.

Research Directions in Object-oriented Programming

José Meseguer

Olivier Danvy

This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011. Carolyn Talcott is a leading researcher and mentor of international renown among computer scientists. She has made key contributions to a number of areas of computer science including: semantics and verification of progamming languages; foundations of actor-based systems; middleware, meta-architectures, and systems; Maude and rewriting logic; and computational biology. The 21 papers presented are organized in topical sections named: Essays on Carolyn Talcott; actors and programming languages; cyberphysical systems; middleware and meta-architectures; formal methods and reasoning tools; and computational biology.

Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Formal Modeling: Actors; Open Systems, Biological Systems

Gul Agha

Books

Your next favorite book is out there