Skip to Main content Skip to Navigation

 

Table of Contents
 


Full Text Documents

Chargement de la page

Search

Chargement de la page

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/