COORDINATION C

19 papers

YearTitle / Authors
2006A Logical View of Choreography.
Carlo Montangero, Laura Semini
2006A WSDL-Based Type System for WS-BPEL.
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2006Actors, Roles and Coordinators - A Coordination Model for Open Distributed and Embedded Systems.
Shangping Ren, Yue Yu, Nianen Chen, Kevin Marth, Pierre-Etienne Poirot, Limin Shen
2006Atomic Commit and Negotiation in Service Oriented Computing.
Laura Bocchi, Roberto Lucchi
2006Automated Evaluation of Coordination Approaches.
Tibor Bosse, Mark Hoogendoorn, Jan Treur
2006Choreography and Orchestration Conformance for System Design.
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2006Compositional Semantics of an Actor-Based Language Using Constraint Automata.
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab
2006Coordinating Computation with Communication.
Thomas Nitsche
2006Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Paolo Ciancarini, Herbert Wiklicky
2006Distributed Workflow upon Linkable Coordination Artifacts.
Andrea Omicini, Alessandro Ricci, Nicola Zaghini
2006Enabling Ubiquitous Coordination Using Application Sessions.
Christine Julien, Drew Stovall
2006Evolution On-the-Fly with Paradigm.
Luuk Groenewegen, Erik P. de Vink
2006Formalising Business Process Execution with Bigraphs and Reactive XML.
Thomas T. Hildebrandt, Henning Niss, Martin Olsen
2006Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements.
Martín López Nores, Jorge García Duque, José Juan Pazos-Arias
2006Stochastic Reasoning About Channel-Based Component Connectors.
Christel Baier, Verena Wolf
2006Synthesizing Concurrency Control Components from Process Algebraic Specifications.
Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer
2006Tuple Space Coordination Across Space and Time.
Gruia-Catalin Roman, Radu Handorean, Rohan Sen
2006Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks.
Amy L. Murphy, Gian Pietro Picco
2006Workflow Patterns in Orc.
William R. Cook, Sourabh Patwardhan, Jayadev Misra