2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Yang Li, Ping Hou, Nobuko Yoshida
Ensuring behavioural correctness in communication protocols is a central challenge in distributed software systems, as subtle inconsistencies can lead to deadlocks. In such setting…