8. COORDINATION 2006: Bologna, Italy

• Christel Baier, Verena Wolf:
  Stochastic Reasoning About Channel-Based Component Connectors. 1-15
  Electronic Edition (link) BibTeX
• Laura Bocchi, Roberto Lucchi:
  Atomic Commit and Negotiation in Service Oriented Computing. 16-27
  Electronic Edition (link) BibTeX
• Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer:
  Synthesizing Concurrency Control Components from Process Algebraic Specifications. 28-43
  Electronic Edition (link) BibTeX
• Tibor Bosse, Mark Hoogendoorn, Jan Treur:
  Automated Evaluation of Coordination Approaches. 44-62
  Electronic Edition (link) BibTeX
• Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
  Choreography and Orchestration Conformance for System Design. 63-81
  Electronic Edition (link) BibTeX
• William R. Cook, Sourabh Patwardhan, Jayadev Misra:
  Workflow Patterns in Orc. 82-96
  Electronic Edition (link) BibTeX
• Luuk Groenewegen, Erik P. de Vink:
  Evolution On-the-Fly with Paradigm. 97-112
  Electronic Edition (link) BibTeX
• Thomas T. Hildebrandt, Henning Niss, Martin Olsen:
  Formalising Business Process Execution with Bigraphs and Reactive XML. 113-129
  Electronic Edition (link) BibTeX
• Christine Julien, Drew Stovall:
  Enabling Ubiquitous Coordination Using Application Sessions. 130-144
  Electronic Edition (link) BibTeX
• Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
  A WSDL-Based Type System for WS-BPEL. 145-163
  Electronic Edition (link) BibTeX
• Martín López Nores, Jorge García Duque, José J. Pazos Arias:
  Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements. 164-178
  Electronic Edition (link) BibTeX
• Carlo Montangero, Laura Semini:
  A Logical View of Choreography. 179-193
  Electronic Edition (link) BibTeX
• Amy L. Murphy, Gian Pietro Picco:
  Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks. 194-211
  Electronic Edition (link) BibTeX
• Thomas Nitsche:
  Coordinating Computation with Communication. 212-227
  Electronic Edition (link) BibTeX
• Andrea Omicini, Alessandro Ricci, Nicola Zaghini:
  Distributed Workflow upon Linkable Coordination Artifacts. 228-246
  Electronic Edition (link) BibTeX
• Shangping Ren, Yue Yu, Nianen Chen, Kevin Marth, Pierre-Etienne Poirot, Limin Shen:
  Actors, Roles and Coordinators - A Coordination Model for Open Distributed and Embedded Systems. 247-265
  Electronic Edition (link) BibTeX
• Gruia-Catalin Roman, Radu Handorean, Rohan Sen:
  Tuple Space Coordination Across Space and Time. 266-280
  Electronic Edition (link) BibTeX
• Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab:
  Compositional Semantics of an Actor-Based Language Using Constraint Automata. 281-297
  Electronic Edition (link) BibTeX