29 citations · 51 across the 18 of their papers we have counts for
1 paper · 2 filters
Hugo A. López, Flemming Nielson, Hanne Riis Nielson
Choreographic programming is a programming-language design approach that drives error-safe protocol development in distributed systems. Starting from a global specification (choreo…