5. COORDINATION 2002: York, UK

@proceedings{DBLP:conf/coordination/2002,
  editor    = {Farhad Arbab and
               Carolyn L. Talcott},
  title     = {Coordination Models and Languages, 5th International Conference,
               COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings},
  booktitle = {COORDINATION},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2315},
  year      = {2002},
  isbn      = {3-540-43410-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Presentations

• Perdita Stevens:
  Playing Games with Software Design. 1
  Electronic Edition (Springer LINK) BibTeX
• Jim Waldo:
  Coordination and System Design in a Network-Centric Age. 2-3
  Electronic Edition (Springer LINK) BibTeX
• Michael Wooldridge, Wiebe van der Hoek:
  Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. 4
  Electronic Edition (Springer LINK) BibTeX

Accepted Papers

• Luis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger:
  Coordination for Orchestration. 5-13
  Electronic Edition (Springer LINK) BibTeX
• Anupriya Ankolekar, Frank Huch, Katia P. Sycara:
  Concurrent Semantics for the Web Services Specification Language DAML-S. 14-21
  Electronic Edition (Springer LINK) BibTeX
• Farhad Arbab, Farhad Mavaddat:
  Coordination through Channel Composition. 22-39
  Electronic Edition (Springer LINK) BibTeX
• Marco Bernardo, Francesco Franzè:
  Exogenous and Endogenous Extensions of Architectural Types. 40-55
  Electronic Edition (Springer LINK) BibTeX
• Lorenzo Bettini, Viviana Bono, Betti Venneri:
  Coordinating Mobile Object-Oriented Code. 56-71
  Electronic Edition (Springer LINK) BibTeX
• Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
  Formalizing Properties of Mobile Agent Systems. 72-87
  Electronic Edition (Springer LINK) BibTeX
• Andrea Bracciali, Antonio Brogi, Carlos Canal:
  Dynamically Adapting the Behaviour of Software Components. 88-95
  Electronic Edition (Springer LINK) BibTeX
• James C. Browne, Kevin Kane, Hongxia Tian:
  An Associative Broadcast Based Coordination Model for Distributed Processes. 96-110
  Electronic Edition (Springer LINK) BibTeX
• Nadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro:
  State- and Event-Based Reactive Programming in Shared Dataspaces. 111-124
  Electronic Edition (Springer LINK) BibTeX
• Carlos J. Costa, Pedro Antunes, João Ferreira Dias:
  Integrating Two Organizational Systems through Communication Genres. 125-132
  Electronic Edition (Springer LINK) BibTeX
• Juan Carlos Cruz:
  OpenCoLaS a Coordination Framework for CoLaS Dialects. 133-140
  Electronic Edition (Springer LINK) BibTeX
• Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez:
  Coordination in a Reflective Architecture Description Language. 141-148
  Electronic Edition (Springer LINK) BibTeX
• Amnon H. Eden, Jens H. Jahnke:
  Coordinating Software Evolution via Two-Tier Programming. 149-157
  Electronic Edition (Springer LINK) BibTeX
• Rejane Frozza, Luis Otávio Alvares:
  Criteria for the Analysis of Coordination in Multi-agent Applications. 158-165
  Electronic Edition (Springer LINK) BibTeX
• Jeremy Gibbons:
  Towards a Colimit-Based Semantics for Visual Programming. 166-173
  Electronic Edition (Springer LINK) BibTeX
• Kees G. W. Goossens, Om Prakash Gangwal:
  The Cost of Communication Protocols and Coordination Languages in Embedded Systems. 174-190
  Electronic Edition (Springer LINK) BibTeX
• Luuk Groenewegen, Erik P. de Vink:
  Operational Semantics for Coordination in Paradigm. 191-206
  Electronic Edition (Springer LINK) BibTeX
• Radu Handorean, Gruia-Catalin Roman:
  Service Provision in Ad Hoc Networks. 207-219
  Electronic Edition (Springer LINK) BibTeX
• Kunihiko Hiraishi:
  PN²: An Elementary Model for Design and Analysis of Multi-agent Systems. 220-235
  Electronic Edition (Springer LINK) BibTeX
• Hwa-Min Lee, Kwang-Sik Chung, Sang-Chul Shin, Dae-Won Lee, Won-Gyu Lee, Heon-Chang Yu:
  A Recovery Technique Using Multi-agent in Distributed Computing Systems. 236-249
  Electronic Edition (Springer LINK) BibTeX
• José Antonio Pérez, Rafael Corchuelo, David Ruiz, Miguel Toro:
  An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions. 250-257
  Electronic Edition (Springer LINK) BibTeX
• Gian Pietro Picco, Marco L. Buschini:
  Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility. 258-273
  Electronic Edition (Springer LINK) BibTeX
• Jaco van de Pol, Miguel Valero Espada:
  Formal Specification of JavaSpaces™ Architecture Using µCRL. 274-290
  Electronic Edition (Springer LINK) BibTeX
• Alessandro Ricci, Andrea Omicini, Enrico Denti:
  Objective vs. Subjective Coordination in Agent-Based Systems: A Case Study. 291-299
  Electronic Edition (Springer LINK) BibTeX
• Neal Sample, Pedram Keyani, Gio Wiederhold:
  Scheduling under Uncertainty: Planning for the Ubiquitous Grid. 300-316
  Electronic Edition (Springer LINK) BibTeX
• Jim Snyder, Ronaldo Menezes:
  Using Logical Operators as an Extended Coordination Mechanism in Linda. 317-331
  Electronic Edition (Springer LINK) BibTeX
• Andries Stam:
  A Framework for Coordinating Parallel Branch and Bound Algorithms. 332-339
  Electronic Edition (Springer LINK) BibTeX
• Samir Tata:
  Policies for Cooperative Virtual Teams. 340-347
  Electronic Edition (Springer LINK) BibTeX
• Robert Tolksdorf, Gregor Rojec-Goldmann:
  The SPACETUB Models and Framework. 348-363
  Electronic Edition (Springer LINK) BibTeX
• Mirko Viroli, Andrea Omicini:
  Tuple-Based Models in the Observation Framework. 364-379
  Electronic Edition (Springer LINK) BibTeX
• George Wells, Alan Chalmers, Peter Clayton:
  Extending the Matching Facilities of Linda. 380-388
  Electronic Edition (Springer LINK) BibTeX
• Pawel T. Wojciechowski, Sergio Mena, André Schiper:
  Semantics of Protocol Modules Composition and Interaction. 389-404
  Electronic Edition (Springer LINK) BibTeX