| No. |
Title |
Author |
Year |
| 1 |
Modular Compilation for Higher-Order Functional Choreographies |
Cruz-Filipe, Luís et al. |
2023 |
| 2 |
Formalising a Turing-Complete Choreographic Language in Coq |
Cruz-Filipe, Luís et al. |
2021 |
| 3 |
Multiparty Languages: The Choreographic and Multitier Cases (Pearl) |
Giallorenzo, Saverio et al. |
2021 |
| 4 |
Front Matter, Table of Contents, Preface, Conference Organization |
Cruz-Filipe, Luís et al. |
2020 |
| 5 |
OASIcs, Volume 78, Microservices 2017/2019, Complete Volume |
Cruz-Filipe, Luís et al. |
2020 |
| 6 |
A Uniform Framework for Timed Automata |
Brengos, Tomasz et al. |
2016 |
