Coordination Models and Languages
% SALE
Coordination Models and Languages
% SALE
% SALE
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.
Product details
- Type:
- Book
- Binding:
- Paperback
- Edition:
- 1
- Languages:
-
Original:
English
- Number of Pages:
-
312
- Publisher:
-
Springer
- Publication Date:
-
2006-06-09
- ISBN / EAN:
-
9783540346944
- Weight:
-
476 g
- Dimensions:
-
16/24/2 cm
- GPSR Manufacturer Reference:
-
[email protected]
Die gelieferte Auflage kann ggf. abweichen.
Currently sold out
Back in stock email
Add to Wishlist
