ABDULLA P.A.; ATIG M.F.; AGARWAL R.A.; GODBOLE A.; S K.
(Springer Science and Business Media Deutschland GmbH, 2022)
We present probabilistic total store ordering (ptso) – a probabilistic extension of the classical tso semantics. For a given (finite-state) program, the operational semantics of ptso induces an infinite-state markov chain. ...