7 citations · 7 across the 2 of their papers we have counts for
1 paper · 1 filter
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal +2
We present Probabilistic Total Store Ordering (PTSO) -- a probabilistic extension of the classical TSO semantics. For a given (finite-state) program, the operational sem…