Coordination languages and models : 4th International Conference, Coordination 2000, Limassol, Cyprus, September 11-13, 2000 : proceedings

Coordination Languages and Models: 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11–13, 2000 Proceedings
Author: António Porto, Gruia-Catalin Roman
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41020-1
DOI: 10.1007/3-540-45263-X

Table 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