Abstract is missing.
- Stochastic Reasoning About Channel-Based Component ConnectorsChristel Baier, Verena Wolf. 1-15 [doi]
- Atomic Commit and Negotiation in Service Oriented ComputingLaura Bocchi, Roberto Lucchi. 16-27 [doi]
- Synthesizing Concurrency Control Components from Process Algebraic SpecificationsEdoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer. 28-43 [doi]
- Automated Evaluation of Coordination ApproachesTibor Bosse, Mark Hoogendoorn, Jan Treur. 44-62 [doi]
- Choreography and Orchestration Conformance for System DesignNadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro. 63-81 [doi]
- Workflow Patterns in OrcWilliam R. Cook, Sourabh Patwardhan, Jayadev Misra. 82-96 [doi]
- Evolution On-the-Fly with ParadigmLuuk Groenewegen, Erik P. de Vink. 97-112 [doi]
- Formalising Business Process Execution with Bigraphs and Reactive XMLThomas T. Hildebrandt, Henning Niss, Martin Olsen. 113-129 [doi]
- Enabling Ubiquitous Coordination Using Application SessionsChristine Julien, Drew Stovall. 130-144 [doi]
- A WSDL-Based Type System for WS-BPELAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi. 145-163 [doi]
- Managing Ad-Hoc Networks Through the Formal Specification of Service RequirementsMartín López Nores, Jorge García Duque, José J. Pazos Arias. 164-178 [doi]
- A Logical View of ChoreographyCarlo Montangero, Laura Semini. 179-193 [doi]
- Using Lime to Support Replication for Availability in Mobile Ad Hoc NetworksAmy L. Murphy, Gian Pietro Picco. 194-211 [doi]
- Coordinating Computation with CommunicationThomas Nitsche. 212-227 [doi]
- Distributed Workflow upon Linkable Coordination ArtifactsAndrea Omicini, Alessandro Ricci, Nicola Zaghini. 228-246 [doi]
- Actors, Roles and Coordinators - A Coordination Model for Open Distributed and Embedded SystemsShangping Ren, Yue Yu, Nianen Chen, Kevin Marth, Pierre-Etienne Poirot, Limin Shen. 247-265 [doi]
- Tuple Space Coordination Across Space and TimeGruia-Catalin Roman, Radu Handorean, Rohan Sen. 266-280 [doi]
- Compositional Semantics of an Actor-Based Language Using Constraint AutomataMarjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab. 281-297 [doi]