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.

The Internet confronts IT researchers, system designers, and application developers with completely new challenges and, as a fascinating new computing paradigm, agent technology has recently attracted broad interest and strong hopes for shaping the future information society. This monograph-like anthology is the first systematic guide to models and enabling technologies for the coordination of intelligent agents on the Internet and respective applications.

This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8–11 April 2002. Coordination models and languages close the conceptual gap - tween the cooperation model used by the constituent parts of an application and the lower-level communication model used in its implementation. Coordinati- based methods provide a clean separation between individual software com- nents and their interactions within their overall software organization. This se- ration, together with the higher-level abstractions o?ered by coordination models and languages, improve software productivity, enhance maintainability, advocate modularity, promote reusability, and lead to software organizations and arc- tectures that are more tractable and more amenable to veri?cation and global analysis. Coordination is relevant in design, development, debugging, maintenance, and reuse of all complex concurrent and distributed systems. Speci?cally, - ordination becomes paramount in the context of open systems, systems with mobile entities, and dynamically re-con?gurable evolving systems. Moreover, - ordination models and languages focus on such key issues in Component Based Software Engineering as speci?cation, interaction, and dynamic composition of components.

Coordinating Distributed Objects presents a novel object-oriented methodology to simplify the construction of distributed software systems. The methodology is based on a programming construct, called synchronizer, that allows the coordination of distributed application components to be programmed in a modular fashion and at a high level of abstraction. The methodology offers new insight into the problem of coordination in distributed systems and can be applied to a broad spectrum of distributed software systems such as process control, multimedia, and groupware. Current methodologies for developing distributed applications do not adequately address the complexity of coordinating application components. The coherence between asynchronous application components, for instance, is usually implemented by explicitly programming a large number of messages and the responses to them. The synchronizer construct, however, implements coordination as abstract and reusable coordination constraints, and thereby reduces code size and complexity by an order of magnitude. Synchronizers offer other attractions as well: they maintain procedural abstraction, data encapsulation, and inherent concurrency. Overall, they allow coordination to be expressed at a level of abstraction that is much closer to the mental model of code developers.

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.

Intelligent agents are one of the most important developments in computer science in the 1990s. Agents are of interest in many important application areas, ranging from human-computer interaction to industrial process control. The ATAL workshop series aims to bring together researchers interested in the core aspects of agent technology. Speci?cally, ATAL addresses issues such as th- ries of agency, software architectures for intelligent agents, methodologies and programming languages for realizing agents, and software tools for developing and evaluating agent systems. One of the strengths of the ATAL workshop series is its emphasis on the synergies between theories, infrastructures, architectures, methodologies, formal methods, and languages. This year’s workshop continued the ATAL trend of attracting a large n- ber of high-quality submissions. In more detail, 75 papers were submitted to the ATAL-99 workshop, from 19 countries. After stringent reviewing, 22 papers wereacceptedforpresentationattheworkshop.Aftertheworkshop,thesepapers were revised on the basis of comments received both from the original reviewers and from discussions at the workshop itself. This volume contains these revised papers.

This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 72 submissions. Among the topics addressed are context-aware coordination, the Linda coordination model, component adaptation, aspect-oriented programming, coordination middleware, peer-to-peer systems, coordination languages, network coordination, logic based coordination, agent coordination, as well as several coordination tools.