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 BibTeX
@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
Regular Papers
- Farhad Arbab:
The IWIM Model for Coordination of Concurrent Activities.
34-56 BibTeX
- Mario Banville:
SONIA: An Adaptation of LINDA for Coordination of Activities in Organisations.
57-74 BibTeX
- Jan A. Bergstra, Paul Klint:
The TOOLBUS Coordination Architecture.
75-88 BibTeX
- Stefania Castellani, Paolo Ciancarini:
Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets.
89-106 BibTeX
- Michel R. V. Chaudron, Edwin D. de Jong:
Towards a Compositional Method for Coordinating Gamma Programs.
107-123 BibTeX
- David Cohen, Juarez Muylaert Filho:
Introducing a Calculus for Higher-Order Multiset Programming.
124-141 BibTeX
- Koenraad De Bosschere, Jean-Marie Jacquet:
µ2 Log: Towards Remote Coordination.
142-159 BibTeX
- Rocco De Nicola, Rosario Pugliese:
A Process Algebra Based on LINDA.
160-178 BibTeX
- Munehiro Fukuda, Lubomir Bic, Michael B. Dillencourt, Fehmina Merchant:
Intra- and Inter-Object Coordination with MESSENGERS.
179-196 BibTeX
- Gert Florijn, Timo Besamusca, Danny Greefhorst:
ARIADNE and HOPLa: Flexible Coordination of Collaborative Processes.
197-214 BibTeX
- Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink:
Coordination in the ImpUNITY Framework.
215-230 BibTeX
- David S. Gladstein, Mitchell Wand:
Compiler Correctness for Concurrent Languages.
231-248 BibTeX
- A. A. Holzbacher:
A Software Environment for Concurrent Coordinated Programming.
249-266 BibTeX
- Thilo Kielmann:
Designing a Coordination Model for Open Systems.
267-284 BibTeX
- Manibrata Mukherji, Dennis G. Kafura:
CCE: A Process-Calculus Based Formalism for Specifying Multi-Object Coordination.
285-304 BibTeX
- Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti:
An Extensible Frame work for the Development of Coordinated Applications.
305-320 BibTeX
- K. V. S. Prasad:
Broadcasting in Time.
321-338 BibTeX
- Matthias Radestock, Susan Eisenbach:
Semantics of a Higher-Order Coordination Language.
339-356 BibTeX
- Antony I. T. Rowstron, Alan Wood:
Solving the LINDA Multiple rd Problem.
357-367 BibTeX
- Narinder Singh, Mark A. Gisi:
Coordinating Distributed Objects with Declarative Interfaces.
368-385 BibTeX
- Robert Tolksdorf:
Coordinating Services in Open Distributed Systems with LAURA.
386-402 BibTeX
Short Papers
- Pascal Bouvry, Farhad Arbab:
VISIFOLD: A Visual Environment for a Coordination Language.
403-406 BibTeX
- Helmar Burkhart, Robert Frank, Guido Hächler:
ALWAN: A Skeleton Programming Language.
407-410 BibTeX
- Paolo Ciancarini, Robert Tolksdorf, Fabio Vitali:
Weaving the Web Using Coordination.
411-415 BibTeX
- Ernst-Erich Doberkat, Wilhelm Hasselbring, Claus Pahl:
Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation.
416-419 BibTeX
- 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 BibTeX
- Eiichi Horita, Ken Mano:
Nepi: A Network Programming Language Based on the pi-Calculus.
424-427 BibTeX
- Paola Inverardi, Daniele Compare:
Modelling Interoperability by CHAM: A Case Study.
428-431 BibTeX
- Oliver Krone, Marc Aguilar, Béat Hirsbrunner, Vaidy S. Sunderam:
Integrating Coordination Features in PVM.
432-435 BibTeX
- Pieter A. Olivier:
A Simulator Framework for Embedded Systems.
436-439 BibTeX
- Pablo A. Straub, Carlos A. Hurtado:
Understanding Behavior of Business Process Models.
440-443 BibTeX
Copyright © Sat May 16 23:03:36 2009
by Michael Ley (ley@uni-trier.de)
