


default search action
1. COORDINATION 1996: Cesena, Italy
- Paolo Ciancarini

, Chris Hankin:
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
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:

µ2 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














