TY  - BOOK
AU  - Clarke,Dave
AU  - Agha,Gul
ED  - SpringerLink (Online service)
TI  - Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642134142
AV  - QA76.758 
U1  - 005.1 23
PY  - 2010///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Communication Networks
KW  - Software engineering
KW  - Information systems
KW  - Computer Science
KW  - Software Engineering
KW  - Programming Techniques
KW  - Software Engineering/Programming and Operating Systems
KW  - Models and Principles
KW  - Information Systems Applications (incl.Internet)
N1  - 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
N2  - 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
UR  - http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-13414-2
ER  -