"Defining Correctness Conditions for Concurrent Objects in Multicore ..."

Brijesh Dongol et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics