IFIP TC6 Open Digital Library

11. COORDINATION 2010: Amsterdam, The Netherlands

Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

Dave Clarke, Gul A. Agha

Springer, Lecture Notes in Computer Science 6116, ISBN: 978-3-642-13413-5



Contents

Observables for Mobile and Wireless Broadcasting Systems.

Jens Chr. Godskesen

 1-15

Behavioural Contracts with Request-Response Operations.

Lucia Acciai, Michele Boreale, Gianluigi Zavattaro

 16-30

NOW: A Workflow Language for Orchestration in Nomadic Networks.

Eline Philips, Ragnhild Van Der Straeten, Viviane Jonckers

 31-45

A Calculus for Boxes and Traits in a Java-Like Setting.

Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer

 46-60

JErlang: Erlang with Joins.

Hubert Plociniczak, Susan Eisenbach

 61-75

A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks.

Andoni Lombide Carreton, Theo D'Hondt

 76-91

Compositional Construction of Real-Time Dataflow Networks.

Stephanie Kemper

 92-106

Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks.

Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu

 107-121

Simulation and Analysis of Distributed Systems in Klaim.

Francesco Calzolai, Michele Loreti

 122-136

Modelling Railway Interlocking Tables Using Coloured Petri Nets.

Somsak Vanit-Anunchai

 137-151

Efficient Session Type Guided Distributed Interaction.

K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster

 152-167

Scalable Efficient Composite Event Detection.

K. R. Jayaram, Patrick Th. Eugster

 168-182