瓦西里欧斯·库塔瓦斯;马修·轩尼诗 高阶密码语言的测试理论（扩展抽象）。 （英语） Zbl 1326.68200号 Barthe，Gilles（编辑），《编程语言与系统》。2011年3月26日至4月3日，作为欧洲软件理论和实践联合会议的一部分，在德国萨尔布吕肯举行了第20届欧洲编程研讨会，ESOP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记6602358-377（2011）。MSC公司：第68季度85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Koutavas}和\textit{M.Hennessy}，莱克特。注释计算。科学。6602358--377（2011年；Zbl 1326.68200） 全文： 内政部
马修·轩尼诗;马尼什·戈尔 计算微积分（扩展摘要）中的成本。 （英语） 兹比尔1291.68288 Bonchi，Filippo（编辑）等人，第一届交互和并发体验研讨会（ICE 2008）会议记录，冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第3期，117-129（2009）。MSC公司：第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}和\textit{M.Gaur}，电子。注释Theor。计算。科学。229，第3号，117--129（2009；Zbl 1291.68288） 全文： 内政部
杰拉德·布多尔;伊利亚州卡斯特拉尼;马修·轩尼诗;尼尔森，莫根斯;格林·温斯克尔 二十年过去了：对CEDISYS项目的反思。将真正的并发性与进程代数相结合。 （英语） Zbl 1143.68475号 Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。《计算机科学讲义》5065757-777（2008）。MSC公司：第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}等人，Lect。注释计算。科学。5065757--777（2008年；Zbl 1143.68475） 全文： 内政部
马修·轩尼诗;朱利安·拉特克;吉田、Nobuko safeDpi：一种控制移动代码的语言。 （英语） Zbl 1081.68003号 学报信息。 42，编号4-5，227-290（2005）.MSC公司：64岁以下 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}等人，《学报》第42期，第4--5227--290号（2005年；Zbl 1081.68003） 全文： 内政部
马修·轩尼诗;马西莫·梅罗;朱利安·拉特克 面向分布式系统中访问和移动性控制的行为理论。 （英语） Zbl 1071.68009号 西奥。计算。科学。 322，第3期，615-669（2004）.MSC公司：64岁以下 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}等人，Theor。计算。科学。322，第3号，615--669（2004；Zbl 1071.68009） 全文： 内政部
马修·轩尼诗;詹姆斯·里利 移动代理系统中的资源访问控制。 （英语） Zbl 1009.68081号 Inf.计算。 173，第1期，82-120（2002）.MSC公司：第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}和\textit{J.Riely}，Inf.Compute。173，编号1，82-120（2002；Zbl 1009.68081） 全文： 内政部
J.瑞利。;轩尼诗。 分布式进程和位置故障。 （英语） Zbl 0989.68007号 西奥。计算。科学。 266，第1-2号，693-735（2001）.MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.Riely}和\textit{M.Hennessy}，Theor。计算。科学。266，编号1--2，693--735（2001；Zbl 0989.68007） 全文： 内政部
詹姆斯·里利;马修·轩尼诗 分布式进程和位置故障。 （英语） Zbl 1401.68233号 Degano，Pierpaolo（编辑）等人，自动机，语言和编程。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。《计算机科学讲义》1256471-481（1997）。MSC公司：第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{J.瑞利}和\textit{M.轩尼诗}，莱克特。注释计算。科学。1256471-481（1997年；Zbl 1401.68233） 全文： 内政部