"Static Analysis of the Determinism of Multithreaded Programs."

Pietro Ferrara (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics