Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proce by David ClarkeCoordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proce by David Clarke

Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The…

byDavid ClarkeEditorGul Agha

Paperback | June 1, 2010

Pricing and Purchase Info

$136.95

Earn 685 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) took place in Amsterdam, during June 7-9. It was hosted and organized by the Centrum voor Wiskunde en Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal speci?cation techniques to practical considerations. The 12th International Conference on Coordination Models and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related veri?cation and analysis techniques. The 10th IFIP International Conference on Distributed Applications and Interop- able Systems in particular elicited contributions on architectures, models, te- nologies and platforms for large-scale and complex distributed applications and services that are related to the latest trends for bridging the physical/virtual worlds based on ?exible and versatile service architectures and platforms. The 12th Formal Methods for Open Object-Based Distributed Systems and the 30th FormalTechniques for NetworkedandDistributed Systems together emphasized distributed computing models and formal speci?cation, testing and veri?cation methods. Each of the three days of the federated event began with a plenary speaker nominated by one of the conferences.
Title:Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The…Format:PaperbackDimensions:183 pagesPublished:June 1, 2010Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642134130

ISBN - 13:9783642134135

Reviews

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.