1 paper · 1 filter
Stephan Spengler
We consider games played on the transition graph of concurrent programs running under the Total Store Order (TSO) weak memory model. Games are frequently used to model the interact…