Coordination Languages and Models

This book constitutes the refereed proceedings of the 4th International Conference on Coordination Languages and Models, COORDINATION 2000, held in Limassol, Cyprus in September 2000.The 18 revised full papers and nine short papers presented were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on coordination styles and trends, tuple space semantics and implementation, coordination policies, dynamics of coordination, mobility, semantic models, shifting Linda perspectives, directions in software architecture, achieving software dependability.