丙酮,L。;轩尼诗,M。 终止、僵局和分歧。 (英语) 兹比尔0799.68131 J.助理计算。机器。 39,第1期,147-187(1992).MSC公司:68问题55 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{M.Hennessy},J.Assoc.Comput。机器。39,第1号,147--187(1992;Zbl 0799.68131) 全文: 内政部
伊利亚州卡斯特拉尼;马修·轩尼诗 分布式交互模拟。 (英语) Zbl 0697.68076号 J.助理计算。机器。 36,第4期,887-911(1989).MSC公司:68问题55 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}和\textit{M.Hennessy},J.协会计算。机器。36,编号4887-911(1989;Zbl 0697.68076) 全文: 内政部 链接
轩尼诗,M。 验收树。 (英语) Zbl 0633.68074号 J.助理计算。机器。 32, 896-928 (1985).MSC公司:65年第68季度 05二氧化碳 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy},J.协会计算。机器。32896--928(1985年;Zbl 0633.68074) 全文: 内政部
马修·轩尼诗;米尔纳,罗宾 不确定性和并发性的代数定律。 (英语) Zbl 0629.68021号 J.助理计算。机器。 32, 137-161 (1985).MSC公司:第68页第25页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}和\textit{R.Milner},J.协会计算。机器。32、137--161(1985年;Zbl 0629.68021) 全文: 内政部