Choreographies for Distributed Systems: Reasoning, Expressivity, and Development

Project Information

CHORDS

Grant agreement ID: 101124225

DOI

10.3030/101124225

EC signature date 8 December 2023

Start date 1 June 2024

End date 31 May 2029

Funded under

• European Research Council (ERC)

Total cost

€ 1 999 498,00

EU contribution

€ 1 999 498,00

Coordinated by

SYDDANSK UNIVERSITET
Denmark

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (5)

Formulas as Processes, Deadlock-Freedom as Choreographies

Author(s): Matteo Acclavio, Giulia Manara, Fabrizio Montesi
Published in: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91118-7_2

Omission Failures in Choreographic Programming

Author(s): Eva Graversen, Fabrizio Montesi, Marco Peressotti
Published in: 2025, ISSN 1613-0073
Publisher: CEUR Workshop Proceedings

Choreography-Defined Networks: A Case Study on DoS Mitigation

Author(s): Saverio Giallorenzo; Jacopo Mauro; Andrea Melis 0001; Fabrizio Montesi; Marco Peressotti; Marco Prandini
Published in: Giallorenzo, S, Mauro, J, Melis, A, Montesi, F, Peressotti, M & Prandini, M 2024, Choreography-Defined Networks : A Case Study on DoS Mitigation. in W Gaaloul, M Sheng, Q Yu & S Yangui (eds), Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings. vol. 15405, Springer Science+Business Media, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 15405 LNCS, pp. 243-259, 22nd International Conference on Service-Oriented Computing, ICSOC 2024, Tunis, Tunisia, 03/12/2024. https://doi.org/10.1007/978-981-96-0808-9_18, 2024
Publisher: Springer
DOI: 10.1007/978-981-96-0808-9_18

A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices

Author(s): Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher; Sabine Sachweh; Philip Wizenty
Published in: Giallorenzo, S, Montesi, F, Peressotti, M, Rademacher, F, Sachweh, S & Wizenty, P 2024, A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices. in W Gaaloul, M Sheng, Q Yu & S Yangui (eds), Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings. Springer Science+Business Media, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 15405 LNCS, pp. 161-175, 22nd International Conference on Service-Oriented Computing, ICSOC 2024, Tunis, Tunisia, 03/12/2024. https://doi.org/10.1007/978-981-96-0808-9_13, 2024
Publisher: Springer
DOI: 10.1007/978-981-96-0808-9_13

A Conceptual Framework for API Refactoring in Service-Oriented Architectures

Author(s): Fabrizio Montesi, Marco Peressotti, Valentino Picotti, Olaf Zimmermann
Published in: Lecture Notes in Computer Science, Service-Oriented and Cloud Computing, 2025
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-84617-5_15

Peer reviewed articles (3)

CRGC: Fault-Recovering Actor Garbage Collection in Pekko

Author(s): Dan Plyukhin; Gul Agha; Fabrizio Montesi
Published in: Proceedings of the ACM on Programming Languages, 2025, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3729288

Choreography-defined networks: Concepts and a case study on AI-based attack detection

Author(s): Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Peressotti, Marco Prandini
Published in: Information and Software Technology, Issue 197, 2026, ISSN 0950-5849
Publisher: Elsevier BV
DOI: 10.1016/J.INFSOF.2026.108180

Relax! The Semilenient Core of Choreographic Programming (Functional Pearl)

Author(s): Dan Plyukhin; Xueying Qin; Fabrizio Montesi
Published in: Proceedings of the ACM on Programming Languages, 2025, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3747538

Other (1)

Ozone: Fully Out-of-Order Choreographies (Artifact).

Author(s): Plyukhin, Dan; Peressotti, Marco; Montesi, Fabrizio
Published in: Dagstuhl Artifacts Ser., 2024
Publisher: Schloss Dagstuhl
DOI: 10.4230/DARTS.10.2.16