A Higher-Order Logic for Concurrent Termination-Preserving Refinement [pdf]cs.cmu.edu1 pointadamnemecek9 years ago