Coordination Models and Languages
12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
Published on 7. June 2010
XI, 183 pages
978-3-642-13414-2 (ISBN)
Description
More details
Other editions
Additional editions
David Clarke | Gul Agha
Coordination Models and Languages
12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
Book
06/2010
1st Edition
Springer
€53.49
Shipment within 5-7 days
Persons
Content
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.
