Y
Y.S. Kwong
Researcher at McMaster University
Publications - 1
Citations - 2
Y.S. Kwong is an academic researcher from McMaster University. The author has contributed to research in topics: Correctness. The author has an hindex of 1, co-authored 1 publications receiving 2 citations.
Papers
More filters
Journal ArticleDOI
Livelocks in parallel programs
TL;DR: It is shown that livelocks are not preserved by reduction, implying that reduction cannot be used directly in proving the absence of livelocks.