Paolo Ciancarini, Herbert Wiklicky (Eds.):
Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings.
Lecture Notes in Computer Science 4038 Springer 2006, ISBN 3-540-34694-5 
- Christel Baier, Verena Wolf:
Stochastic Reasoning About Channel-Based Component Connectors.
1-15
- Laura Bocchi, Roberto Lucchi:
Atomic Commit and Negotiation in Service Oriented Computing.
16-27
- Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer:
Synthesizing Concurrency Control Components from Process Algebraic Specifications.
28-43
- Tibor Bosse, Mark Hoogendoorn, Jan Treur:
Automated Evaluation of Coordination Approaches.
44-62
- Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Choreography and Orchestration Conformance for System Design.
63-81
- William R. Cook, Sourabh Patwardhan, Jayadev Misra:
Workflow Patterns in Orc.
82-96
- Luuk Groenewegen, Erik P. de Vink:
Evolution On-the-Fly with Paradigm.
97-112
- Thomas T. Hildebrandt, Henning Niss, Martin Olsen:
Formalising Business Process Execution with Bigraphs and Reactive XML.
113-129
- Christine Julien, Drew Stovall:
Enabling Ubiquitous Coordination Using Application Sessions.
130-144
- Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A WSDL-Based Type System for WS-BPEL.
145-163
- 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
- Carlo Montangero, Laura Semini:
A Logical View of Choreography.
179-193
- Amy L. Murphy, Gian Pietro Picco:
Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks.
194-211
- Thomas Nitsche:
Coordinating Computation with Communication.
212-227
- Andrea Omicini, Alessandro Ricci, Nicola Zaghini:
Distributed Workflow upon Linkable Coordination Artifacts.
228-246
- 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
- Gruia-Catalin Roman, Radu Handorean, Rohan Sen:
Tuple Space Coordination Across Space and Time.
266-280
- Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab:
Compositional Semantics of an Actor-Based Language Using Constraint Automata.
281-297
Last update Sat May 18 18:18:36 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
