Reasoning about Nonblocking Concurrency using Reduction | IEEE Conference Publication | IEEE Xplore