index - Coordination Models and Languages (COORDINATION 2016)

Table of Contents
Coordination Models and Languages *Alberto Lluch Lafuente, José Proença*	Front Matter
Multilevel Transitive and Intransitive Non-interference, Causally *Paolo Baldan, Alessandro Beggiato*	1-17
A Game Interpretation of Retractable Contracts *Franco Barbanera, Ugo Liguoro*	18-34
Where Do Your IoT Ingredients Come From? *Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta*	35-50
Tuple Spaces Implementations and Their Efficiency *Vitaly Buravlev, Rocco Nicola, Claudio Mezzina*	51-66
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination *Vincenzo Ciancia, Diego Latella, Mieke Massink*	67-83
Scheduling Games for Concurrent Systems *Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab*	84-100
ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations *Kiko Fernandez-Reyes, Dave Clarke, Daniel Mccain*	101-120
Modelling Ambulance Deployment with CarmaCARMA *Vashti Galpin*	121-137
On Synchronous and Asynchronous Compatibility of Communicating Components *Rolf Hennicker, Michel Bidoit, Thanh-Son Dang*	138-156
A Semantic Theory of the Internet of Things *Ruggero Lanotte, Massimo Merro*	157-174
A Formal Analysis of the Global Sequence Protocol *Hernán Melgratti, Christian Roldán*	175-191
Improving Gossip Dynamics Through Overlapping Replicates *Danilo Pianini, Jacob Beal, Mirko Viroli*	192-207
From Modelling to Systematic Deployment of Distributed Active Objects *Ludovic Henrio, Justine Rochas*	208-226
An Interference-Free Programming Model for Network Objects *Bertrand Meyer, Mischael Schill, Christopher Poskitt*	227-244
On Sessions and Infinite Data *Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini*	245-261
On Dynamical Probabilities, or: How to Learn to Shoot Straight *Herbert Wiklicky*	262-277

Designed by Inria-IES Team : Hosted by HAL :