4. COORDINATION 2000: Limassol, Cyprus

@proceedings{DBLP:conf/coordination/2000,
  editor    = {Ant{\'o}nio Porto and
               Gruia-Catalin Roman},
  title     = {Coordination Languages and Models, 4th International Conference,
               COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings},
  booktitle = {COORDINATION},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1906},
  year      = {2000},
  isbn      = {3-540-41020-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Regular Papers

Coordination Styles and Trends

• Stéphane Ducasse, Thomas Hofmann, Oscar Nierstrasz:
  OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces. 1-18
  Electronic Edition (Springer LINK) BibTeX
• Franz Achermann, Stefan Kneubuehl, Oscar Nierstrasz:
  Scripting Coordination Styles. 19-35
  Electronic Edition (Springer LINK) BibTeX
• Robert Tolksdorf:
  Coordination Technology for Workflows on the Web: Workspaces. 36-50
  Electronic Edition (Springer LINK) BibTeX

Tuple Space Semantics and Implementation

• Jeremy L. Jacob, Alan Wood:
  A Principled Semantics for inp. 51-65
  Electronic Edition (Springer LINK) BibTeX
• Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron:
  Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. 66-80
  Electronic Edition (Springer LINK) BibTeX
• Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi:
  On Timed Coordination Languages. 81-98
  Electronic Edition (Springer LINK) BibTeX

Coordination Policies

• Marco Cremonini, Andrea Omicini, Franco Zambonelli:
  Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach. 99-114
  Electronic Edition (Springer LINK) BibTeX
• Farhad Arbab, Eric Monfroy:
  Distributed Splitting of Constraint Satisfaction Problems. 115-132
  Electronic Edition (Springer LINK) BibTeX
• Xuhui Ao, Naftaly H. Minsky, Thu D. Nguyen, Victoria Ungureanu:
  Law-Governed Internet Communities. 133-147
  Electronic Edition (Springer LINK) BibTeX

Dynamics of Coordination

• Dan Hirsch, Paola Inverardi, Ugo Montanari:
  Reconfiguration of Software Architecture Styles with Name Mobility. 148-163
  Electronic Edition (Springer LINK) BibTeX
• Prasanta K. Bose, Mark G. Matthews:
  An Agent Mediated Approach to Dynamic Change in Coordination Policies. 164-181
  Electronic Edition (Springer LINK) BibTeX
• Stefan J. Johansson, Paul Davidsson, Bengt Carlsson:
  Coordination Models for Dynamic Resource Allocation. 182-197
  Electronic Edition (Springer LINK) BibTeX

Mobility

• Masatomo Hashimoto, Akinori Yonezawa:
  MobileML: A Programming Language for Mobile Computation. 198-215
  Electronic Edition (Springer LINK) BibTeX
• Mika Katara:
  Hybrid Models for Mobile Computing. 216-231
  Electronic Edition (Springer LINK) BibTeX
• Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini:
  Mobile Agents Coordination in Mob_adtl. 232-248
  Electronic Edition (Springer LINK) BibTeX

Semantic Models

• Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
  A Logical Interface Description Language for Components. 249-266
  Electronic Edition (Springer LINK) BibTeX
• Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters:
  A Formalization of the IWIM Model. 267-283
  Electronic Edition (Springer LINK) BibTeX
• Rance Cleaveland, Xiaoqun Du, Scott A. Smolka:
  GCCS: A Graphical Coordination Language for System Specification. 284-298
  Electronic Edition (Springer LINK) BibTeX

Short Papers

Shifting Linda Perspecives

• Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
  A Timed Linda Language. 299-304
  Electronic Edition (Springer LINK) BibTeX
• Enrico Denti, Andrea Omicini, Vladimiro Toschi:
  The LuCe Coordination Technology for MAS Design and Development on the Internet. 305-310
  Electronic Edition (Springer LINK) BibTeX
• Iain Merrick, Alan Wood:
  Scoped Coordination in Open Distributed Systems. 311-316
  Electronic Edition (Springer LINK) BibTeX

Directions in Software Architecture

• Luis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger:
  Patterns for Coordination. 317-322
  Electronic Edition (Springer LINK) BibTeX
• Paola Inverardi, Henry Muccini:
  Coordination Models and Software Architectures in a Unified Software Development Process. 323-328
  Electronic Edition (Springer LINK) BibTeX
• Stephen Barrett, Brendan Tangney:
  Wilde: Supporting Change in Groupware. 329-334
  Electronic Edition (Springer LINK) BibTeX

Achieving Software Dependability

• Paul Dechering, Izak van Langevelde:
  On the Verification of Coordination. 335-340
  Electronic Edition (Springer LINK) BibTeX
• Marisol Sánchez, José Luis Herrero, Juan Manuel Murillo, Juan Hernández Núñez:
  Guaranteeing Coherent Software Systems when Composing Coordinated Components. 341-346
  Electronic Edition (Springer LINK) BibTeX
• Joost N. Kok, Kaisa Sere:
  Coordination-Based Design of Distributed Systems. 347-352
  Electronic Edition (Springer LINK) BibTeX