Coordination Languages and Models : 4th International Conference COORDINATION 2000 Limassol Cyprus September 11–13 2000 Proceedings 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