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 |
