1. COORDINATION 1996: Cesena, Italy

Paolo Ciancarini, Chris Hankin (Eds.): Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings. Lecture Notes in Computer Science 1061 Springer 1996, ISBN 3-540-61052-9

@proceedings{DBLP:conf/coordination/1996,
  editor    = {Paolo Ciancarini and
               Chris Hankin},
  title     = {Coordination Languages and Models, First International Conference,
               COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings},
  booktitle = {COORDINATION},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1061},
  year      = {1996},
  isbn      = {3-540-61052-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Jean-Pierre Banâtre: Parallel Multiset Processing: FRom Explicit Coordination to Chemical Reaction. 1-11
Ugo Montanari, Francesca Rossi: Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract). 12-27
Peter Wegner: Coordination as Comstrainted Interaction (Extended Abstract). 28-33

Regular Papers

Farhad Arbab: The IWIM Model for Coordination of Concurrent Activities. 34-56
Mario Banville: SONIA: An Adaptation of LINDA for Coordination of Activities in Organisations. 57-74
Jan A. Bergstra, Paul Klint: The TOOLBUS Coordination Architecture. 75-88
Stefania Castellani, Paolo Ciancarini: Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets. 89-106
Michel R. V. Chaudron, Edwin D. de Jong: Towards a Compositional Method for Coordinating Gamma Programs. 107-123
David Cohen, Juarez Muylaert Filho: Introducing a Calculus for Higher-Order Multiset Programming. 124-141
Koenraad De Bosschere, Jean-Marie Jacquet: µ² Log: Towards Remote Coordination. 142-159
Rocco De Nicola, Rosario Pugliese: A Process Algebra Based on LINDA. 160-178
Munehiro Fukuda, Lubomir Bic, Michael B. Dillencourt, Fehmina Merchant: Intra- and Inter-Object Coordination with MESSENGERS. 179-196
Gert Florijn, Timo Besamusca, Danny Greefhorst: ARIADNE and HOPLa: Flexible Coordination of Collaborative Processes. 197-214
Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink: Coordination in the ImpUNITY Framework. 215-230
David S. Gladstein, Mitchell Wand: Compiler Correctness for Concurrent Languages. 231-248
A. A. Holzbacher: A Software Environment for Concurrent Coordinated Programming. 249-266
Thilo Kielmann: Designing a Coordination Model for Open Systems. 267-284
Manibrata Mukherji, Dennis G. Kafura: CCE: A Process-Calculus Based Formalism for Specifying Multi-Object Coordination. 285-304
Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti: An Extensible Frame work for the Development of Coordinated Applications. 305-320
K. V. S. Prasad: Broadcasting in Time. 321-338
Matthias Radestock, Susan Eisenbach: Semantics of a Higher-Order Coordination Language. 339-356
Antony I. T. Rowstron, Alan Wood: Solving the LINDA Multiple rd Problem. 357-367
Narinder Singh, Mark A. Gisi: Coordinating Distributed Objects with Declarative Interfaces. 368-385
Robert Tolksdorf: Coordinating Services in Open Distributed Systems with LAURA. 386-402

Short Papers

Pascal Bouvry, Farhad Arbab: VISIFOLD: A Visual Environment for a Coordination Language. 403-406
Helmar Burkhart, Robert Frank, Guido Hächler: ALWAN: A Skeleton Programming Language. 407-410
Paolo Ciancarini, Robert Tolksdorf, Fabio Vitali: Weaving the Web Using Coordination. 411-415
Ernst-Erich Doberkat, Wilhelm Hasselbring, Claus Pahl: Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation. 416-419
Atsuo Hazeyama, Seiichi Komiya: A Case Study of Integration of a Software Process Management System with Software Engineering Environments for Process Monitoring and Management. 420-423
Eiichi Horita, Ken Mano: Nepi: A Network Programming Language Based on the pi-Calculus. 424-427
Paola Inverardi, Daniele Compare: Modelling Interoperability by CHAM: A Case Study. 428-431
Oliver Krone, Marc Aguilar, Béat Hirsbrunner, Vaidy S. Sunderam: Integrating Coordination Features in PVM. 432-435
Pieter A. Olivier: A Simulator Framework for Embedded Systems. 436-439
Pablo A. Straub, Carlos A. Hurtado: Understanding Behavior of Business Process Models. 440-443