Conferences in DBLP

International Conference on Coordination Models and Languages (COORDINATION) (coordination)
2006 (conf/coordination/2006)

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