Verifying Contextual Refinement with Ownership Transfer. - Zhao-Hui Li; Xin-Yu Feng 001 (J. Comput. Sci. Technol., 2021)

A program logic for obstruction-freedom. - Zhao-Hui Li; Xin-Yu Feng 001 (Frontiers Comput. Sci., 2024)