Li Miao, Da-Fang Zhang. A New Proof for the Undecidability of Context-Sensitive Synchronization-Sensitive Analysis. In Ivan Stojmenovic, Gerald Farin, Minyi Guo, Hai Jin, Keqiu Li, Liang Hu, Xiaohui Wei, Xiangjiu Che, editors, Fifth International Conference on Frontier of Computer Science and Technology, FCST 2010, Changchun, Jilin Province, China, August 18-22, 2010. pages 291-296, IEEE Computer Society, 2010. [doi]
Abstract is missing.