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]
@inproceedings{MiaoZ10,
title = {A New Proof for the Undecidability of Context-Sensitive Synchronization-Sensitive Analysis},
author = {Li Miao and Da-Fang Zhang},
year = {2010},
doi = {10.1109/FCST.2010.15},
url = {http://doi.ieeecomputersociety.org/10.1109/FCST.2010.15},
tags = {synchronization, analysis, context-aware},
researchr = {https://researchr.org/publication/MiaoZ10},
cites = {0},
citedby = {0},
pages = {291-296},
booktitle = {Fifth International Conference on Frontier of Computer Science and Technology, FCST 2010, Changchun, Jilin Province, China, August 18-22, 2010},
editor = {Ivan Stojmenovic and Gerald Farin and Minyi Guo and Hai Jin and Keqiu Li and Liang Hu and Xiaohui Wei and Xiangjiu Che},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4139-6},
}