13 citations · 54 across the 15 of their papers we have counts for
1 paper · 2 filters
Lorenzo Gheri, Ivan Lanese, Neil Sayers +2
Choreographic models support a correctness-by-construction principle in distributed programming. Also, they enable the automatic generation of correct message-based communication p…