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


Observables for Mobile and Wireless Broadcasting Systems.

Jens Chr. Godskesen


Behavioural Contracts with Request-Response Operations.

Lucia Acciai, Michele Boreale, Gianluigi Zavattaro


NOW: A Workflow Language for Orchestration in Nomadic Networks.

Eline Philips, Ragnhild Van Der Straeten, Viviane Jonckers


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

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


JErlang: Erlang with Joins.

Hubert Plociniczak, Susan Eisenbach


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

Andoni Lombide Carreton, 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, Chenyang Lu


Simulation and Analysis of Distributed Systems in Klaim.

Francesco Calzolai, 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, Patrick Eugster


Scalable Efficient Composite Event Detection.

K. R. Jayaram, Patrick Th. Eugster