Table of Contents: Coordination Models and Languages

Corporate Author:	SpringerLink (Online service)
Other Authors:	Murphy, Amy L. (Editor, http://id.loc.gov/vocabulary/relators/edt), Vitek, Jan. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:	1st ed. 2007.
Series:	Programming and Software Engineering ; 4467
Subjects:	Programming languages (Electronic computers). Architecture, Computer. Software engineering. Special purpose computers. Computer programming. Computers. Programming Languages, Compilers, Interpreters. Computer System Implementation. Software Engineering. Special Purpose and Application-Based Systems. Programming Techniques. Computation by Abstract Devices.
Online Access:	https://doi.org/10.1007/978-3-540-72794-1

Table of Contents:

Session 1. Middleware
A Coordination Model for Triplespace Computing
Requirements for Routing in the Application Layer
Context-Aware Publish Subscribe in Mobile Ad Hoc Networks
Session 2. Logic Programming
A Prolog-Based Language for Workflow Programming
Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications
Session 3. Formal Approaches
A Theory for Strong Service Compliance
Towards a Theory of Refinement in Timed Coordination Languages
A Calculus for Mobile Ad Hoc Networks
Session 4. Concurrency
A Theory of Nested Speculative Execution
Actors That Unify Threads and Events
Generalized Committed Choice
Session 5. Components and Services I
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants
Session 6. Manet
Object-Oriented Coordination in Mobile Ad Hoc Networks
Coordinating Workflow Allocation and Execution in Mobile Environments
Fact Spaces: Coordination in the Face of Disconnection
Session 7. Components and Services II
Component Connectors with QoS Guarantees
Context-Based Adaptation of Component Behavioural Interfaces.