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