Languages

Characterizing Progress Properties of Concurrent Objects via Contextual Refinements

TitleCharacterizing Progress Properties of Concurrent Objects via Contextual Refinements
Publication TypeConference Paper
Year of Publication2013
AuthorsLiang H, Hoffmann J, Feng X, Shao Z
Conference Name24th International Conference on Concurrency Theory (CONCUR'13)
Date Published08/2013
PublisherSpringer-Verlag
Conference LocationBuenos Aires, Argentina