![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
23rd COORDINATION 2021: Valletta, Malta
- Ferruccio Damiani
, Ornela Dardha
:
Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings. Lecture Notes in Computer Science 12717, Springer 2021, ISBN 978-3-030-78141-5
Tutorial
- Rudolf Schlatte
, Einar Broch Johnsen
, Eduard Kamburjan
, Silvia Lizeth Tapia Tarifa
:
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. 3-19
Communications: Types and Implemenations
- Chuta Sano, Stephanie Balzer, Frank Pfenning:
Manifestly Phased Communication via Shared Session Types. 23-40 - Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
:
Deconfined Global Types for Asynchronous Sessions. 41-60 - Hannes Saffrich, Peter Thiemann
:
Relating Functional and Imperative Session Types. 61-79 - Zak Cutner
, Nobuko Yoshida
:
Safe Session-Based Asynchronous Coordination in Rust. 80-89 - Lorenzo Bacchiani, Mario Bravetti, Julien Lange
, Gianluigi Zavattaro:
A Session Subtyping Tool. 90-105 - Christian Bartolo Burlò
, Adrian Francalanza
, Alceste Scalas
, Catia Trubiani
, Emilio Tuosto
:
Towards Probabilistic Session-Type Monitoring. 106-120 - João Mota
, Marco Giunti
, António Ravara
:
Java Typestate Checker. 121-133 - Riccardo Bianchini, Francesco Dagnino:
Asynchronous Global Types in Co-logic Programming. 134-146
Large-Scale Decentalised Systems
- Roberto Casadei
, Mirko Viroli
, Alessandro Ricci
, Giorgio Audrito
:
Tuple-Based Coordination in Large-Scale Situated Systems. 149-167 - Massimo Bartoletti
, James Hsin-yu Chiang
, Alberto Lluch-Lafuente
:
A Theory of Automated Market Makers in DeFi. 168-187 - Leandro Galrinho, João Costa Seco
, Søren Debois, Thomas T. Hildebrandt, Håkon Normann, Tijs Slaats:
ReGraDa: Reactive Graph Data. 188-205
Modelling: Structures and Implementations
- Chad Nester:
The Structure of Concurrent Process Histories. 209-224 - Davide Basile
, Maurice H. ter Beek
:
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts. 225-238 - Eva Maria Kuehn:
A Practical Tool-Chain for the Development of Coordination Scenarios - Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator. 239-254
Microservices
- Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro
, Iacopo Talevi, Gianluigi Zavattaro:
Microservice Dynamic Architecture-Level Deployment Orchestration. 257-275 - Saverio Giallorenzo
, Fabrizio Montesi
, Marco Peressotti
, Florian Rademacher
, Sabine Sachweh:
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. 276-284 - Gianluca Aguzzi
, Roberto Casadei
, Niccolò Maltoni, Danilo Pianini
, Mirko Viroli
:
ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming. 285-299
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.