98 citations · 385 across the 33 of their papers we have counts for
1 paper · 2 filters
Luís Cruz-Filipe, Fabrizio Montesi
Choreographic Programming is a programming paradigm for building concurrent programs that are deadlock-free by construction, as a result of programming communications declaratively…