research
∙
04/13/2023
Choreographic Programming of Isolated Transactions
Implementing distributed systems is hard; choreographic programming aims...
share
research
∙
08/09/2022
Branching Pomsets for Choreographies
Choreographic languages describe possible sequences of interactions amon...
research
∙
04/24/2018
