Languages

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

TitleRely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations
Publication TypeConference Paper
Year of Publication2014
AuthorsLiang H, Feng X, Fu M
Conference NameACM Transactions on Programming Languages and Systems (TOPLAS), 36(1), pp 3:1-3:55