Report copyright - Liveness-Preserving Atomicity Abstractionsoftware.imdea.org/~gotsman/papers/linlive-icalp11-ext.pdf · in verifying concurrent programs. In particular, it enables liveness-preserving
Please pass captcha verification before submit form