Languages

A Program Logic for Concurrent Objects under Fair Scheduling

TitleA Program Logic for Concurrent Objects under Fair Scheduling
Publication TypeConference Paper
Year of Publication2016
AuthorsLiang H, Feng X
Conference NameProc. 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), pp 385-399
Conference LocationSt. Petersburg, FL, USA