13 citations · 54 across the 13 of their papers we have counts for
1 paper · 1 filter
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…