The Problem of Programming Language Concurrency Semantics.

Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell

Browse the full ESOP paper archive.