Oscar Nierstrasz

Paolo Ciancarini

Akinori Yonezawa

European Conference on Object-Oriented Programming (1994 : Bologna)

This volume presents carefully refereed versions of the best papers presented at the Workshop on Models and Languages for Coordination of Parallelism and Distribution, held during ECOOP '94 in Bologna, Italy in July 1994. Recently a new class of models and languages for distributed and parallel programming has evolved; all these models share a few basic concepts: simple features for data description and a small number of mechanisms for coordinating the work of agents in a distributed setting. This volume demonstrates that integrating such features with those known from concurrent object-oriented programming is very promising with regard to language support for distribution and software composition.

ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Selected Papers

Object-Based Models and Languages for Concurrent Systems

Mitsuhiro Okada

Benjamin Pierce

Andre Scedrov

Hideyuki Tokuda

For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed. This book assesses the state of the art in software and systems security by presenting a carefully arranged selection of revised invited and reviewed papers. It covers basic aspects and recently developed topics such as security of pervasive computing, peer-to-peer systems and autonomous distributed agents, secure software circulation, compilers for fail-safe C language, construction of secure mail systems, type systems and multiset rewriting systems for security protocols, and privacy issues as well.

Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

Software Security -- Theories and Systems

Takayasu Ito

England) U. K.-Japan Workshop on Concurrency (1989 : Oxford

Theory, Language, and Architecture : UK/Japan Workshop on Concurrency, Oxford, UK, September 25-27, 1989 : Proceedings

Concurrency

Akinori Yonezawa

About

Books

Join the club