Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

Bibliographic Details
Other Authors: Clarke, David (Editor), Agha, Gul (Editor)
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