Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2010, 2010
|
Edition: | 1st ed. 2010 |
Series: | Programming and Software Engineering
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
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