Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd 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 Norman, 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
a service of 
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.
last updated on 2023-09-25 21:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
