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
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/