Jung, Ralf Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;
1701.05888.pdf (Preprint), 739KB
Tassarotti, J., Jung, R., & Harper, R. (2017). A Higher-Order Logic for Concurrent Termination-Preserving Refinement. In H. Yang (Ed.), Programming Languages and Systems (pp. 909-936). Berlin: Springer. doi:10.1007/978-3-662-54434-1_34.