| Publication | Date of Publication | Type |
|---|
| Now it compiles! Certified automatic repair of uncompilable protocols | 2024-11-26 | Paper |
Alice or Bob?: Process polymorphism in choreographies
Journal of Functional Programming | 2024-04-18 | Paper |
| Certified compilation of choreographies with \textsf{hacc} | 2024-01-11 | Paper |
Multiparty classical choreographies
Logic-Based Program Synthesis and Transformation | 2023-11-09 | Paper |
Functional choreographic programming
Lecture Notes in Computer Science | 2023-07-28 | Paper |
A formal theory of choreographic programming
Journal of Automated Reasoning | 2023-06-27 | Paper |
scientific article; zbMATH DE number 7699432 (Why is no real title available?)
(available as arXiv preprint) | 2023-06-20 | Paper |
From infinity to choreographies. Extraction for unbounded systems
Logic-Based Program Synthesis and Transformation | 2023-06-02 | Paper |
Applied Choreographies
Formal Techniques for Distributed Objects, Components, and Systems | 2023-03-10 | Paper |
Procedural Choreographic Programming
Formal Techniques for Distributed Objects, Components, and Systems | 2022-06-15 | Paper |
Classical higher-order processes (short paper)
Formal Techniques for Distributed Objects, Components, and Systems | 2022-06-15 | Paper |
Certifying choreography compilation
(available as arXiv preprint) | 2022-03-31 | Paper |
| Taking linear logic apart | 2021-12-20 | Paper |
Taking linear logic apart
(available as arXiv preprint) | 2021-12-20 | Paper |
| Self-reconfiguring microservices | 2021-05-20 | Paper |
| On asynchrony and choreographies | 2020-02-17 | Paper |
On asynchrony and choreographies
(available as arXiv preprint) | 2020-02-17 | Paper |
A core model for choreographic programming
Theoretical Computer Science | 2019-11-22 | Paper |
A core model for choreographic programming
Theoretical Computer Science | 2019-11-22 | Paper |
scientific article; zbMATH DE number 7085032 (Why is no real title available?)
(available as arXiv preprint) | 2019-07-24 | Paper |
| scientific article; zbMATH DE number 6851955 (Why is no real title available?) | 2018-03-21 | Paper |
Choreographies, logically
Distributed Computing | 2018-02-23 | Paper |
| scientific article; zbMATH DE number 6774227 (Why is no real title available?) | 2017-09-12 | Paper |
Multiparty session types as coherence proofs
Acta Informatica | 2017-06-14 | Paper |
The Paths to Choreography Extraction
Lecture Notes in Computer Science | 2017-05-19 | Paper |
The evolution of Jolie. From orchestrations to adaptable choreographies
Software, Services, and Systems | 2015-06-22 | Paper |
Deadlock-freedom-by-design, multiparty asynchronous global programming
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
Choreographies, logically
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Compositional choreographies
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
Dynamic error handling in service oriented applications
Fundamenta Informaticae | 2010-02-05 | Paper |
