3 citations · 8 across the 5 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…