1 paper
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…