TY  - BOOK
AU  - Clarke, Dave
AU  - Agha, Gul [Eds.]
TI  - Coordination models and languages
SN  - 978-3-642-13413-5
U1  - 681.3 
PY  - 2010///
CY  - Germany
PB  - Springer
KW  - Informatica
KW  - Observables for mobile and wireless broadcasting systems
KW  - Behavioural contracts with request-reponse operations
KW  - Now a workflow language for orchestration in nomadic network
KW  - A calculus for boxes and traits in a Java-Like setting
KW  - Jerlang erlang with joins
KW  - A hybrid visual dataflow language for coordination in mobile an hoc network
KW  - Compositional construction of real time dataflow network
KW  - Coordinating Resource usage though adaptive service provisioning in wireless sensor networks
KW  - Simulation and analysis of distributed systems in Klaim
KW  - Modelling railway interlocking tables using coloured petri nets
KW  - Effcient sessions type guided distributed interaction
KW  - Scalable efficient composite event detection
ER  -