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

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Clarke, David (Editor), Agha, Gul (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Series:Programming and Software Engineering, 6116
Subjects:
Computer systems.
Software engineering.
Computer networks .
Computer programming.
Computer science.
Computer System Implementation.
Software Engineering.
Computer Communication Networks.
Programming Techniques.
Models of Computation.
Online Access:Texto Completo
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.

Similar Items