1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Xu Wang, Qiwen Xu
In this paper we present an invariance proof of three properties on Simpson's 4-slot algorithm, i.e. data-race freedom, data coherence and data freshness, which together implies li…