55 citations · 128 across the 19 of their papers we have counts for
1 paper · 2 filters
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav +2
Weakestmo is a recently proposed memory consistency model that uses event structures to resolve the infamous "out-of-thin-air" problem. Although it has been shown to have important…