TY  - RPRT
TI  - A Higher-Order Logic for Concurrent Termination-Preserving Refinement
AU  - Joseph Tassarotti
AU  - Ralf Jung
AU  - Robert Harper
PY  - 2017
UR  - https://arxiv.org/abs/1701.05888
ID  - 1701.05888
ER  -