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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Clarke, Dave (Editor), Agha, Gul (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6116
• Subjects: Computer science.; Computer communication systems.; Architecture, Computer.; Software engineering.; Computer programming.; Computers.; Computer Science.; Computer System Implementation.; Software Engineering/Programming and Operating Systems.; Computer Communication Networks.; Software Engineering.; Programming Techniques.; Models and Principles.

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.