A Higher-Order Logic for Concurrent Termination-Preserving Refinement.

Joseph Tassarotti, Ralf Jung, Robert Harper

Browse the full ESOP paper archive.