Full Text Documents

Search


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/