![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.