Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / [electronic resource] : edited by David Clarke, Gul Agha. - 1st ed. 2010. - XI, 183 p. 50 illus. online resource. - Programming and Software Engineering, 6116 2945-9168 ; . - Programming and Software Engineering, 6116 .

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.

9783642134142

10.1007/978-3-642-13414-2 doi


Computer systems.
Software engineering.
Computer networks .
Computer programming.
Computer science.
Computer System Implementation.
Software Engineering.
Computer Communication Networks.
Programming Techniques.
Models of Computation.

QA76.9.S88

004.2