Research Catalog

Title

Coordination : languages and models : First International Conference COORDINATION '96, Cesena, Italy, April 1996 : proceedings / Paolo Ciancarini, Chris Hankin, eds.

Author

COORDINATION '96 (1996 : Cesena, Italy)

Publication

Berlin ; New York : Springer, [1996], ©1996.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Ciancarini, Paolo, 1959-
• Hankin, Chris.

Description

xi, 443 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 1061

Uniform Title

Lecture notes in computer science ; 1061.

Subjects

• Electronic data processing > Distributed processing > Congresses
• Parallel processing (Electronic computers) > Congresses

Bibliography (note)

• Includes bibliographical references.

Contents

• Parallel Multiset Processing: From Explicit Coordination to Chemical Reaction / J.-P. Banatre -- Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization / U. Montanari and F. Rossi -- Coordination as Constrained Interaction / P. Wegner -- The IWIM Model for Coordination of Concurrent Activities / F. Arbab -- Sonia: an Adaptation of Linda for Coordination of Activities in Organizations / M. Banville -- The ToolBus Coordination Architecture / J. A. Bergstra and P. Klint -- Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets / S. Castellani and P. Ciancarini -- Towards a Compositional Method for Coordinating Gamma Programs / M. Chaudron and E. de Jong -- Introducing a Calculus for Higher-Order Multiset Programming / D. Cohen and J. Muylaert-Filho -- [mu][superscript 2]Log: Towards Remote Coordination / K. De Bosschere and J.-M. Jacquet -- A Process Algebra Based on Linda / R. De Nicola and R. Pugliese --
• Intra- and Inter-Object Coordination with MESSENGERS / M. Fukuda, L. F. Bic, M. B. Dillencourt and F. Merchant -- Ariadne and HOPLa: Flexible Coordination of Collaborative Processes / G. Florijn, T. Besamusca and D. Greefhorst -- Coordination in the ImpUnity Framework / H. J. M. Goeman, J. N. Kok, K. Sere and R. T. Udink -- Compiler Correctness for Concurrent Languages / D. S. Gladstein and M. Wand -- A Software Environment for Concurrent Coordinated Programming / A. A. Holzbacher -- Designing a Coordination Model for Open Systems / T. Kielmann -- CCE: A Process-Calculus Based Formalism for Specifying Multi-Object Coordination / M. Mukherji and D. Kafura -- An Extensible Framework for the Development of Coordinated Applications / E. Denti, A. Omicini, A. Natali and M. Venuti -- Broadcasting in Time / K. V. S. Prasad -- Semantics of a Higher-Order Coordination Language / M. Radestock and S. Eisenbach -- Solving the Linda Multiple rd Problem / A. Rowstron and A. Wood --
• Coordinating Distributed Objects with Declarative Interfaces / N. Singh and M. A. Gisi -- Coordinating Services in Open Distributed Systems with LAURA / R. Tolksdorf -- Visifold: A Visual Environment for a Coordination Language / P. Bouvry and F. Arbab -- ALWAN: A Skeleton Programming Language / H. Burkhart, R. Frank and G. Hachler -- Weaving the Web Using Coordination / P. Ciancarini, R. Tolksdorf and F. Vitali -- Investigating Strategies for Cooperative Planning of Independent Agents Through Prototype Evaluation / E.-E. Doberkat, W. Hasselbring and C. Pahl -- A Case Study of Integration of a Software Process Management System with Software Engineering Environments for Process Monitoring and Management / A. Hazeyama and S. Komiya -- Nepi: A Network Programming Language Based on the Pi-Calculus / E. Horita and K. Mano -- Modelling Interoperability by CHAM: A Case Study / P. Inverardi and D. Compare --
• Integrating Coordinating Features in PVM / O. Krone, M. Aguilar, B. Hirsbrunner and V. Sunderam -- A Simulator Framework for Embedded Systems / P. A. Olivier -- Understanding Behavior of Business Process Models / P. A. Straub and C. Hurtado L.

ISBN

3540610529 (pbk. : alk. paper)

LCCN

96005679

OCLC

ocm34411648

Owning Institutions

Columbia University Libraries