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

Parallel multiset processing: 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.- Sonia: 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.- ?2Log: Towards remote coordination.- A process algebra based on Linda.- Intra- and inter-object coordination with MESSENGERS.- Ariadne and HOPLa: 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.- CCE: 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.- Visifold: A visual environment for a coordination language.- ALWAN: 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.- Nepi: A network programming language based on the ?-calculus.- Modelling interoperability by CHAM: A case study.- Integrating coordination features in PVM.- A simulator framework for embedded systems.- Understanding behavior of business process models.