Languages

Biblio

Filters: Author is Jan Hoffmann  [Clear All Filters]
2013
Liang H, Hoffmann J, Feng X, Shao Z.  2013.  Characterizing Progress Properties of Concurrent Objects via Contextual Refinements. 24th International Conference on Concurrency Theory (CONCUR'13).