Coordination languages and models 4th International Conference, Coordination 2000, Limassol, Cyprus, September 11 - 13, 2000 ; proceedings (Springer, 2000)