J.Rathke。;轩尼诗，M。 值传递过程的本地模型检查。（扩展摘要）。 （英语） Zbl 0885.03021号 马丁·阿巴迪等人，《计算机软件的理论方面》。第三届国际研讨会，1997年TACS。1997年9月23日至26日，日本仙台。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1281, 250-266 (1997).MSC公司：03B45号 03B80号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Rathke}和\textit{M.Hennessy}，莱克特。注释计算。科学。1281250--266（1997；Zbl 0885.03021）
轩尼诗，M。;普洛金，G。 有限合取不确定性。 （英语） Zbl 0649.03013号 并发和网络。Petri网进展，233-244（1987）。 审核人：S.Miura公司 MSC公司：03B70号 03B45号 68N25号 PDF格式BibTeX公司 XML格式