Table of Contents: Coordination Models and Languages

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Ciancarini, Paolo. (Editor, http://id.loc.gov/vocabulary/relators/edt), Wiklicky, Herbert. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edition:	1st ed. 2006.
Series:	Programming and Software Engineering ; 4038
Subjects:	Architecture, Computer. Programming languages (Electronic computers). Software engineering. Special purpose computers. Computer programming. Computers. Computer System Implementation. Programming Languages, Compilers, Interpreters. Software Engineering. Special Purpose and Application-Based Systems. Programming Techniques. Computation by Abstract Devices.
Online Access:	https://doi.org/10.1007/11767954
Tags:	Add Tag No Tags, Be the first to tag this record!

Table of Contents:

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.