default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. COORDINATION 2006: Bologna, Italy
- Paolo Ciancarini, Herbert Wiklicky:
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é Juan 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-20 21:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
