LiangHongjin

Progress of concurrent objects with partial methods

FengXinyu, LiangHongjin, 2017 .

Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations

FengXinyu, LiangHongjin, FuMing, 2014 .

A rely-guarantee-based simulation for verifying concurrent program transformations

FengXinyu, LiangHongjin, FuMing, 2012 .