Full Text Documents

12

Search


 
Table of Contents
Coordination Models and Languages
Dave Clarke, Gul Agha
Front Matter
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 Straeten, Viviane Jonckers
31-45
A Calculus for Boxes and Traits in a Java-Like Setting
Lorenzo Bettini, Ferruccio Damiani, Marco 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 Eugster
168-182