Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

 
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