6 citations · 15 across the 13 of their papers we have counts for
1 paper · 2 filters
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…