Coordination Languages and Models: 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11–13, 2000 ProceedingsAuthor: António Porto, Gruia-Catalin Roman Published by Springer Berlin Heidelberg ISBN: 978-3-540-41020-1 DOI: 10.1007/3-540-45263-XTable of Contents:OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces Scripting Coordination Styles Coordination Technology for Workflows on the Web: Workspaces A Principled Semantics for inp Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces On Timed Coordination Languages Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach Distributed Splitting of Constraint Satisfaction Problems Law-Governed Internet Communities Reconfiguration of Software Architecture Styles with Name Mobility An Agent Mediated Approach to Dynamic Change in Coordination Policies Coordination Models for Dynamic Resource Allocation MobileML: A Programming Language for Mobile Computation Hybrid Models for Mobile Computing Mobile Agents Coordination in Mobadtl A Logical Interface Description Language for Components A Formalization of the IWIM Model GCCS: A Graphical Coordination Language for System Specification A Timed Linda Language The LuCe Coordination Technology for MAS Design and Development on the Internet