TY  - BOOK
AU  - Clarke,Dave
AU  - Gul,Āg̲h̲ā
ED  - COORDINATION (Conference)
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.58 .C695 2009
U1  - 004/.35 22
PY  - 2010///
CY  - Berlin
PB  - Springer
KW  - Parallel processing (Electronic computers)
KW  - Congresses
KW  - Electronic data processing
KW  - Distributed processing
KW  - Electronic Data Processing
KW  - Parallélisme (Informatique)
KW  - Congrès
KW  - Traitement réparti
KW  - Informatique
KW  - eclas
KW  - fast
KW  - Koordinationssprache
KW  - gnd
KW  - Verteiltes System
KW  - Nebenläufigkeit
KW  - Mobile Computing
KW  - Nebenlèaufigkeit
KW  - swd
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - Includes bibliographical references and index; Observables for mobile and wireless broadcasting systems / Jens Chr. Godskesen -- Behavioural contracts with request-response operations / Lucia Acciai, Michele Boreale, and Gianluigi Zavattaro -- NOW : a workflow language for orchestration in nomadic networks / Eline Philips, Ragnhild Van Der Straeten, and Viviane Jonckers -- A calculus for boxes and traits in a Java-like setting / Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, and Jan Schäfer -- JErlang : Erlang with joins / Hubert Plociniczak and Susan Eisenbach -- A hybrid visual dataflow language for coordination in mobile ad hoc networks / Andoni Lombide Carreton and Theo D'Hondt -- Compositional construction of real-time dataflow networks / Stephanie Kemper -- Coordinating resource usage through adaptive service provisioning in wireless sensor networks / Chien-Liang Fok, Gruia-Catalin Roman, and Chenyang Lu -- Simulation and analysis of distributed systems in Klaim / Francesco Calzolai and Michele Loreti -- Modelling railway interlocking tables using coloured Petri nets / Somsak Vanit-Anunchai -- Efficient session type guided distributed interaction / K.C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, and Patrick Eugster -- Scalable efficient composite event detection / K.R. Jayaram and Patrick Eugster
N2  - Annotation; This book constitutes the refereed proceedings of the 12th International Conference on Coordination Models and Languages, COORDINATION 2010, held in Amsterdam, The Netherlands, in June 2010, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2010. The 12 revised full papers presented were carefully reviewed and selected from 28 submissions. The papers cover a wide range of topics including the application of coordination in wireless systems; multicore scheduling; sensor networks; event processing; data flow networks; and railway interlocking
UR  - https://link.springer.com/10.1007/978-3-642-13414-2
ER  -