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 paradigm where developers write the global specification (called choreography) of a communicating system, and then a correct-by-construction distribu…