Coordination Languages and Models: 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings

Regular Papers.- An Object-Oriented Framework for Reconfigurable Coordination Spaces.- Scripting Coordination Styles.- Coordination Technology for Workflows on the Workspaces.- Regular Papers.- A Principled Semantics for inp.- Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces.- On Timed Coordination Languages.- Regular Papers.- Coordination and Access Control in Open Distributed Agent The TuCSoN Approach.- Distributed Splitting of Constraint Satisfaction Problems.- Law-Governed Internet Communities.- Regular Papers.- Reconfiguration of Software Architecture Styles with Name Mobility.- An Agent Mediated Approach to Dynamic Change in Coordination Policies.- Coordination Models for Dynamic Resource Allocation.- Regular Papers.- A Programming Language for Mobile Computation.- Hybrid Models for Mobile Computing.- Mobile Agents Coordination in Mobadtl.- Regular Papers.- A Logical Interface Description Language for Components.- A Formalization of the IWIM Model.- A Graphical Coordination Language for System Specification.- Short papers.- A Timed Linda Language.- The LuCe Coordination Technology for MAS Design and Development on the Internet.- Scoped Coordination in Open Distributed Systems.- Short papers.- Patterns for Coordination.- Coordination Models and Software Architectures in a Unified Software Development Process.- Supporting Change in Groupware.- Short papers.- On the Verification of Coordination.- Guaranteing Coherent Software Systems when Composing Coordinated Components.- Coordination-Based Design of Distributed Systems.