Languages

Modular Verification of Linearizability with Non-Fixed Linearization Points

TitleModular Verification of Linearizability with Non-Fixed Linearization Points
Publication TypeConference Paper
Year of Publication2013
AuthorsLiang H, Feng X
Conference Name34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'13)
Date Published06/2013
PublisherACM Press
Conference LocationSeattle, WA, USA