Table of Contents
|
Coordination Models and Languages
Hanne Nielson, Emilio Tuosto |
Front Matter |
Computational Models
|
Representing Dependencies in Event Structures
G. Pinna |
3-18 |
Reversing P/T Nets
Hernán Melgratti, Claudio Mezzina, Irek Ulidowski |
19-36 |
Towards Races in Linear Logic
Wen Kokke, J. Morris, Philip Wadler |
37-53 |
The share Operator for Field-Based Coordination
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli |
54-71 |
Tools (1)
|
Scan: A Simple Coordination Workbench
Jean-Marie Jacquet, Manel Barkallah |
75-91 |
CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed Applications
Marco Autili, Amleto Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli |
92-108 |
Exploring New Frontiers
|
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication
Rocco Nicola, Tan Duong, Michele Loreti |
111-128 |
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies
Davide Basile, Maurice ter Beek, Rosario Pugliese |
129-147 |
No More, No Less
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Zingaro |
148-157 |
Coordination Patterns
|
Verification of Concurrent Design Patterns with Data
Simon Bliudze, Ludovic Henrio, Eric Madelaine |
161-181 |
Self-organising Coordination Regions: A Pattern for Edge Computing
Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali |
182-199 |
Aggregate Processes in Field Calculus
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani |
200-217 |
Tools (2)
|
Automatic Quality-of-Service Evaluation in Service-Oriented Computing
Agustín Martinez Suñé, Carlos Lopez Pombo |
221-236 |
DiRPOMS: Automatic Checker of Distributed Realizability of POMSets
Roberto Guanciale |
237-249 |
Coordination of Tasks on a Real-Time OS
Guillermina Cledou, José Proença, Bernhard Sputh, Eric Verhulst |
250-266 |
Hosted by HAL : 