1. COORDINATION 1996: Cesena, Italy

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
  

Last update Sat May 18 18:18:35 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page