Table of Contents: Coordination Models and Languages

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Clarke, David. (Editor, http://id.loc.gov/vocabulary/relators/edt), Agha, Gul. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:	1st ed. 2010.
Series:	Programming and Software Engineering ; 6116
Subjects:	Architecture, Computer. Software engineering. Computer communication systems. Computer programming. Computers. Computer System Implementation. Software Engineering/Programming and Operating Systems. Computer Communication Networks. Software Engineering. Programming Techniques. Models and Principles.
Online Access:	https://doi.org/10.1007/978-3-642-13414-2
Tags:	Add Tag No Tags, Be the first to tag this record!

Table of Contents:

Observables for Mobile and Wireless Broadcasting Systems
Behavioural Contracts with Request-Response Operations
NOW: A Workflow Language for Orchestration in Nomadic Networks
A Calculus for Boxes and Traits in a Java-Like Setting
JErlang: Erlang with Joins
A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks
Compositional Construction of Real-Time Dataflow Networks
Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks
Simulation and Analysis of Distributed Systems in Klaim
Modelling Railway Interlocking Tables Using Coloured Petri Nets
Efficient Session Type Guided Distributed Interaction
Scalable Efficient Composite Event Detection.