6 citations · 21 across the 14 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…