Full Text Documents

Search


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 : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/