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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Clarke, David (Editor ), Agha, Gul (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Programming and Software Engineering, 6116
Temas:
Computer systems.
Software engineering.
Computer networks .
Computer programming.
Computer science.
Computer System Implementation.
Software Engineering.
Computer Communication Networks.
Programming Techniques.
Models of Computation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares