勒·杜·坎赫;秦伟彦;Teo，Yong-Meng先生 一个用于验证死锁自由的表达性框架。 （英语） Zbl 1410.68234号 Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，2013年ATVA，越南河内。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8172, 287-302 (2013).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.-K.Le}等人，Lect。注释计算。科学。8172287--302（2013；Zbl 1410.68234） 全文： 内政部
Chin，W.N。;Tan，S.H。;特奥，Y.M。 为复杂复发导出有效的并行程序。 （英语） Zbl 0923.68024号 Hitz，Markus（编辑）等人，第二届并行符号计算国际研讨会，PASCO’97，Maui，HI，USA，1997年7月20日至22日。纽约州纽约市：ACM出版社。101-110 (1997).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{W.N.Chin}等人，in：第二届并行符号计算国际研讨会，PASCO’97，Maui，HI，USA，1997年7月20-22日。纽约州纽约市：ACM出版社。101-110（1997；Zbl 0923.68024）