View of All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs

##article.return## All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs Download Download PDF