research
∙
03/07/2023
Real-World Choreographic Programming: An Experience Report
Choreographic programming is a programming paradigm, whereby the overall...
share
research
∙
03/07/2023
Certified Compilation of Choreographies with hacc
Programming communicating processes is challenging, because it requires ...
research
∙
11/05/2021
