Compositional verification of termination-preserving refinement of concurrent programs.

Hongjin Liang, Xinyu Feng, Zhong Shao

Browse the full CSL paper archive.