index - Coordination Models and Languages
   


Full Text Documents

15

Search


 
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

 


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