Formal Methods for Open Object-Based Distributed Systemspresents the leading edge in several re...

This volume presents carefully refereed versions of the best papers presented at the Workshop on ...

This book constitutes the refereed proceedings of the 1st IFIP Entertainment Computing Symposium ...

This book constitutes the refereed proceedings of the 20th International

This book contains the best selected papers of two Satellite Events held at the 20th Internationa...

We welcome you to Coordination ¿99, the third in a series of conferences d- icated to an importan...

One of the most important reasons for the current intensity of interest in agent technology is th...

Since the 1980s, software agents and multi-agent systems have grown into what is now one of the m...

This book constitutes the refereed proceedings of the First International Conference on Coordinat...

Computer Analysis of Chess Champions.- Automated Chess Tutor.- A New Heuristic Search Algorithm f...

Stochastic Reasoning About Channel-Based Component Connectors.- Atomic Commit and Negotiation in ...

This book presentshigh-quality original contributions on new software engineering modelsapproache...