2. COORDINATION 1997:
Berlin,
Germany
David Garlan, Daniel Le Métayer (Eds.):
Coordination Languages and Models, Second International Conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997, Proceedings.
Lecture Notes in Computer Science 1282 Springer 1997, ISBN 3-540-63383-9 BibTeX
@proceedings{DBLP:conf/coordination/1997,
editor = {David Garlan and
Daniel Le M{\'e}tayer},
title = {Coordination Languages and Models, Second International Conference,
COORDINATION '97, Berlin, Germany, September 1-3, 1997, Proceedings},
booktitle = {COORDINATION},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1282},
year = {1997},
isbn = {3-540-63383-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Papers
Regular Papers
- Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich:
Checking Assumptions in Component Dynamics as the Architectural Level.
46-63 BibTeX
- Christophe Bidan, Valérie Issarny:
Security Benefits from Software Architecture.
64-80 BibTeX
- Naftaly H. Minsky, Victoria Ungureanu:
Regulated Coordination in Open Distributed Systems.
81-97 BibTeX
- Pieter A. Olivier:
Debugging Distributed Applications Using a Coordination Architecture.
98-114 BibTeX
- I. Nunes, José Luiz Fiadeiro, Wladyslaw M. Turski:
Coordination Durative Actions.
115-130 BibTeX
- Suresh Jagannathan:
Communication-Passing Style for Coordination Languages.
131-149 BibTeX
- Edwin D. de Jong:
Software Architecture for Large Control Systems: A Case Study Description.
150-156 BibTeX
- Sylvia Stuurman, Jan van Katwijk:
Evaluation of Software Architecture for a Control System: A Case Study.
157-171 BibTeX
- A. A. Holzbacher, M. Périn, Mario Südholt:
Modeling Railway Control Systems Using Graph Grammars: A Case Study.
172-186 BibTeX
- David Gelernter, Lenore D. Zuck:
On What Linda Is: Formal Description of Linda as a Reactive System.
187-204 BibTeX
- Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Three Semantics of the Output Operation for Generative Communication.
205-219 BibTeX
- Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese:
Coordinating Mobile Agents via Blackboards and Access Rights.
220-237 BibTeX
- Antonio Brogi, Jean-Marie Jacquet:
Modeling Coordination via Asynchronous Communication.
238-255 BibTeX
- Eike Best, Frank S. de Boer, Catuscia Palamidessi:
Partial Order and SOS Semantics for Linear Constraint Programs.
256-273 BibTeX
- Enrico Denti, Antonio Natali, Andrea Omicini:
Programmable Coordination Media.
274-288 BibTeX
- Roel van der Goot, Jonathan Schaeffer, Gregory V. Wilson:
Safer Tuple Spaces.
289-301 BibTeX
- Eric J. Hedman, Joost N. Kok, Kaisa Sere:
Coordinating Action Systems.
302-319 BibTeX
- Jürgen Dingel:
Approximating UNITY.
320-337 BibTeX
- Peter J. McCann, Gruia-Catalin Roman:
Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts.
338-354 BibTeX
- Kari Granö, Jukka Paakki:
From Layer to Layer - Object-Oriented Protocol Refinement in Kannel.
355-373 BibTeX
- Roberto M. Amadio:
An Asynchronous Model of Locality, Failurem and Process Mobility.
374-391 BibTeX
- Jean-Yves Vion-Dury, Luc Bellissard, Vladimir Marangozov:
A Component Calculus for Modeling the Olan Configuration Language.
392-409 BibTeX
Short Papers
Copyright © Sat May 16 23:03:36 2009
by Michael Ley (ley@uni-trier.de)