Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)

Jade Alglave, Patrick Cousot, Caterina Urban. Concurrency with Weak Memory Models (Dagstuhl Seminar 16471). Dagstuhl Reports, 6(11):108-128, 2016. [doi]

Abstract

Abstract is missing.