25 citations · 59 across the 17 of their papers we have counts for
1 paper · 1 filter
Ornela Dardha, Jorge A. Pérez
Besides respecting prescribed protocols, communication-centric systems should never "get stuck". This requirement has been expressed by liveness properties such as progress or (dea…