Coordination Languages and Models: First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.

by Paolo Ciancarini (Editor), Chris Hankin (Editor)

Parallel multiset From explicit coordination to chemical reaction.- Graph rewriting and constraint solving for modelling distributed systems with synchronization (extended abstract).- Coordination as constrained interaction (extended abstract).- The IWIM model for coordination of concurrent activities.- An adaptation of Linda for coordination of activities in organizations.- The ToolBus coordination architecture.- Enhancing coordination and modularity mechanisms for a language with objects-as-multisets.- Towards a compositional method for coordinating Gamma programs.- Introducing a calculus for higher-order multiset programming.- ?2 Towards remote coordination.- A process algebra based on Linda.- Intra- and inter-object coordination with MESSENGERS.- Ariadne and Flexible coordination of collaborative processes.- Coordination in the ImpUnity framework.- Compiler correctness for concurrent languages.- A software environment for concurrent coordinated programming.- Designing a coordination model for open systems.- A process-calculus based formalism for specifying multi-object coordination.- An extensible framework for the development of coordinated applications.- Broadcasting in time.- Semantics of a higher-order coordination language.- Solving the Linda multiple rd problem.- Coordinating distributed objects with declarative interfaces.- Coordinating services in open distributed systems with Laura.- A visual environment for a coordination language.- A skeleton programming language.- Weaving the Web using coordination.- Investigating strategies for cooperative planning of independent agents through prototype evaluation.- A case study of integration of a software process management system with software engineering environments for process monitoring and management.- A network programming language based on the ?-calculus.- Modelling interoperability by A case study.- Integrating coordination features in PVM.- A simulator framework for embedded systems.- Understanding behavior of business process models.

468 pages, Paperback

First published January 15, 2014