{"product_id":"herbert-wiklicky-coordination-models-and-languages-9783540346944","title":"Coordination Models and Languages","description":"Stochastic Reasoning About Channel-Based Component Connectors.- Atomic Commit and Negotiation in Service Oriented Computing.- Synthesizing Concurrency Control Components from Process Algebraic Specifications.- Automated Evaluation of Coordination Approaches.- Choreography and Orchestration Conformance for System Design.- Workflow Patterns in Orc.- Evolution On-the-Fly with Paradigm.- Formalising Business Process Execution with Bigraphs and Reactive XML.- Enabling Ubiquitous Coordination Using Application Sessions.- A WSDL-Based Type System for WS-BPEL.- Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements.- A Logical View of Choreography.- Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks.- Coordinating Computation with Communication.- Distributed Workflow upon Linkable Coordination Artifacts.- Actors, Roles and Coordinators - A Coordination Model for Open Distributed and Embedded Systems.- Tuple Space Coordination Across Space and Time.- Compositional Semantics of an Actor-Based Language Using Constraint Automata.","brand":"Springer","offers":[{"title":"Default Title","offer_id":54716107981142,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783540346944_1.jpg?v=1791144575","url":"https:\/\/www.momoxbooks.com\/products\/herbert-wiklicky-coordination-models-and-languages-9783540346944","provider":"momox","version":"1.0","type":"link"}