Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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
Jean-Marie Jacquet, Mieke Massink
Front Matter

Invited Talk


Spatial Edge Services - From Coordination Model to Actual Applications
Giovanna Marzo Serugendo
3-17

Languages and Tools


AErlang: Empowering Erlang with Attribute-Based Communication
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani
21-39
Simpler Coordination of JavaScript Web Workers
Marco Krauweel, Sung-Shik Jongmans
40-58
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
59-77
Development Tools for Rule-Based Coordination Programming in LINC
Maxime Louvel, François Pacull, Eric Rutten, Adja Sylla
78-96

Types


Session-ocaml: A Session-Based Library with Polarities and Lenses
Keigo Imai, Nobuko Yoshida, Shoji Yuen
99-118
Retractable and Speculative Contracts
Franco Barbanera, Ivan Lanese, Ugo De 'Liguoro
119-137
A Denotational View of Replicated Data Types
Fabio Gadducci, Hernán Melgratti, Christian Roldán
138-156

Resource, Components and Information Flow


Many-to-Many Information Flow Policies
Paolo Baldan, Alessandro Beggiato, Alberto Lluch Lafuente
159-177
Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included
Antonio Brogi, Andrea Canciani, Jacopo Soldani
178-196
Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies
Simon Bliudze, Alena Simalatsar, Alina Zolotukhina
197-216

Verification


Verifying Timed BPMN Processes Using Maude
Francisco Durán, Gwen Salaün
219-236
Full-Abstraction for Must Testing Preorders
Giovanni Bernardi, Adrian Francalanza
237-255
Communication Requirements for Team Automata
Maurice Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn
256-277

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/