本文探討了在總體存儲順序 (TSO) 語義下運行的併發程序轉換圖上進行的遊戲，證明了可達性和安全性問題可以簡化為對單進程程序的分析，並引入了公平性條件以模擬更實際的程序行為，進而證明了在公平性條件下，可達性和安全性問題是不可判定的。
