index - Coordination Models and Languages
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

Coordination Models and Languages
Sung-Shik Jongmans, Antónia Lopes
Front Matter

Keynote


Relating Message Passing and Shared Memory, Proof-Theoretically
Frank Pfenning, Klaas Pruiksma
3-27

Collective Adaptive Systems and Aggregate Computing


MacroSwarm: A Field-Based Compositional Framework for Swarm Programming
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
31-51
ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala
Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli
52-70
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
71-89

Cyber-Physical Systems


Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems
Carlos Ferro, Tiago Cogumbreiro, Francisco Martins
93-114
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment
Valentina Castiglioni, Michele Loreti, Simone Tini
115-132

Verification and Testing


RSC to the ReSCu: Automated Verification of Systems of Communicating Automata
Loïc Desgeorges, Loïc Germerie Guizouarn
135-143
Reasoning About Choreographic Programs
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
144-162
Caos: A Reusable Scala Web Animator of Operational Semantics
José Proença, Luc Edixhoven
163-171
JoT: A Jolie Framework for Testing Microservices
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana
172-191

Languages and Processes


Rollback Recovery in Session-Based Programming
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
195-213
Safe Asynchronous Mixed-Choice for Timed Interactions
Jonah Pears, Laura Bocchi, Andy King
214-231
A Formal MDE Framework for Inter-DSL Collaboration
Salim Chehida, Akram Idani, Mario Cortes-Cornax, German Vega
232-249

Run-Time Changes


Legal Contracts Amending with
Laneve Cosimo, Alessandro Parenti, Giovanni Sartor
253-270
Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems
Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko
271-291

 


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