"I compute, therefore I am (buggy): methodic doubt meets multiprocessors."

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