research
∙
04/11/2018
A denotational account of C11-style memory
We introduce a denotational semantic framework for shared-memory concurr...
research
∙
11/02/2017