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 |
Hosted by HAL : 