index - Coordination Models and Languages
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

Table of Contents
Coordination Models and Languages
Ferruccio Damiani, Ornela Dardha
Front Matter

Tutorial


Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
Rudolf Schlatte, Einar Johnsen, Eduard Kamburjan, Silvia Tapia Tarifa
3-19

Communications: Types and Implemenations


Manifestly Phased Communication via Shared Session Types
Chuta Sano, Stephanie Balzer, Frank Pfenning
23-40
Deconfined Global Types for Asynchronous Sessions
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
41-60
Relating Functional and Imperative Session Types
Hannes Saffrich, Peter Thiemann
61-79
Safe Session-Based Asynchronous Coordination in Rust
Zak Cutner, Nobuko Yoshida
80-89
A Session Subtyping Tool
Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro
90-105
Towards Probabilistic Session-Type Monitoring
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
106-120
Java Typestate Checker
João Mota, Marco Giunti, António Ravara
121-133
Asynchronous Global Types in Co-logic Programming
Riccardo Bianchini, Francesco Dagnino
134-146

Large-Scale Decentalised Systems


Tuple-Based Coordination in Large-Scale Situated Systems
Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito
149-167
A Theory of Automated Market Makers in DeFi
Massimo Bartoletti, James Chiang, Alberto Lluch-Lafuente
168-187
ReGraDa: Reactive Graph Data
Leandro Galrinho, João Seco, Søren Debois, Thomas Hildebrandt, Håkon Norman, Tijs Slaats
188-205

Modelling: Structures and Implementations


The Structure of Concurrent Process Histories
Chad Nester
209-224
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts
Davide Basile, Maurice H. ter Beek
225-238
A Practical Tool-Chain for the Development of Coordination Scenarios
Eva Kuehn
239-254

Microservices


Microservice Dynamic Architecture-Level Deployment Orchestration
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
257-275
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
276 - 284
ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming
Gianluca Aguzzi, Roberto Casadei, Niccolò Maltoni, Danilo Pianini, Mirko Viroli
285-299