彭、吴旭；普鲁索塔曼，S。 通信有限状态机网络中死锁检测问题的统一方法。 （英语） Zbl 0765.68138号 计算机辅助验证，Proc。第二届国际会议，CAV’90，新不伦瑞克/新泽西州（美国），Lect。注释计算。科学。531, 243-252 (1991).MSC公司：60年第68季度 68米10 PDF格式BibTeX公司 XML格式引用 \textit{W.Peng}和\textit{S.Purushothaman}，莱克特。注释计算。科学。531243-252（1991年；Zbl 0765.68138）
彭、吴旭；普鲁索塔曼，S。 通信有限状态机网络中死锁检测问题的统一方法。 （英语） Zbl 0786.68008号 90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。西奥。计算。科学。3, 395-404 (1991).MSC公司：68米10 PDF格式BibTeX公司 XML格式引用 \textit{W.Peng}和\textit{S.Purushothaman}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。395--404（1991年；Zbl 0786.68008）