index - Coordination Models and Languages

 

Table of Contents
 


Full Text Documents

24

Search


Coordination Models and Languages
Simon Bliudze, Laura Bocchi
Front Matter

Tutorials


CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems
Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli
3-19
Choreographic Development of Message-Passing Applications
Alex Coto, Roberto Guanciale, Emilio Tuosto
20-36

Coordination Languages


ARx: Reactive Programming for Synchronous Connectors
José Proença, Guillermina Cledou
39-56
Towards Energy-, Time- and Security-Aware Multi-core Coordination
Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
57-74

Message-Based Communication


Team Automata@Work: On Safe Communication
Maurice ter Beek, Rolf Hennicker, Jetty Kleijn
77-85
Choreography Automata
Franco Barbanera, Ivan Lanese, Emilio Tuosto
86-106
A Choreography-Driven Approach to APIs: The OpenDXL Case Study
Leonardo Frittelli, Facundo Maldonado, Hernán Melgratti, Emilio Tuosto
107-124

Communications: Types and Implementations


Implementing Multiparty Session Types in Rust
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
127-136
GoPi: Compiling Linear and Static Channels in Go
Marco Giunti
137-152
SFJ: An Implementation of Semantic Featherweight Java
Artem Usov, Ornela Dardha
153-168

Service-Oriented Computing


Event-Based Customization of Multi-tenant SaaS Using Microservices
Espen Nordli, Phu Nguyen, Franck Chauvel, Hui Song
171-180
Quality of Service Ranking by Quantifying Partial Compliance of Requirements
Agustín Martinez Suñé, Carlos Lopez Pombo
181-189

Large-Scale Decentralised Systems


Time-Fluid Field-Based Coordination
Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
193-210
Resilient Distributed Collection Through Information Speed Thresholds
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
211-229
Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited
Nicolas Gast, Diego Latella, Mieke Massink
230-239

Smart Contracts


A True Concurrent Model of Smart Contracts Executions
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
243-260
Renegotiation and Recursion in Bitcoin Contracts
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
261-278

Modelling


Architecture Modelling of Parametric Component-Based Systems
Maria Pittou, George Rahonis
281-300
Weighted PCL over Product Valuation Monoids
Vagia Karyoti, Paulina Paraponiari
301-319
Operational Representation of Dependencies in Context-Dependent Event Structures
G. Pinna
320-338

Verification and Analysis


Towards a Formally Verified EVM in Production Environment
Xiyue Zhang, Yi Li, Meng Sun
341-349
On Implementing Symbolic Controllability
Adrian Francalanza, Jasmine Xuereb
350-369
Combining SLiVER with CADP to Analyze Multi-agent Systems
Luca Di Stefano, Frédéric Lang, Wendelin Serwe
350-369
Formal Modeling and Analysis of Medical Systems
Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani
386-402

 


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