2 citations · 3 across the 12 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…