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 |
