27 citations · 35 across the 6 of their papers we have counts for
1 paper · 1 filter
Chao Wang, Gustavo Petri, Yi Lv +2
An important property of concurrent objects is whether they support progress -a special case of liveness-guarantees, which ensure the termination of individual method calls under s…