"TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter ..."

Tanakorn Leesatapornwongsa et al. (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics