瓦西里欧斯·库塔瓦斯;马西耶·加兹达;马修·轩尼诗 区分通信事务。 （英语） Zbl 1388.68198号 Inf.计算。 259，第1部分，1-30（2018）。MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Koutavas}等人，《信息计算》。259，第1部分，1-30（2018；Zbl 1388.68198） 全文： 内政部 arXiv公司
马修·轩尼诗 探索概率互模拟。一、。 （英语） Zbl 1259.68153号 正式Asp。计算。 24，第4-6号，749-768（2012）。MSC公司：87年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}，正式Asp。计算。24，编号4--6749-768（2012年；兹bl 1259.68153） 全文： 内政部
杰拉德·布多尔;伊利亚州卡斯特拉尼;马修·轩尼诗;尼尔森，莫根斯;格林·温斯克尔 二十年过去了：对CEDISYS项目的反思。将真正的并发性与进程代数相结合。 （英语） 兹比尔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） 全文： 内政部
邓玉欣;罗布·范格拉贝克;马修·轩尼诗;卡罗尔·摩根;张晨毅 关于测试概率过程的备注。 （英语） 兹比尔1277.68121 Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172，359-397（2007）。MSC公司：68问题55 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}等人，《电子》。注释Theor。计算。科学。172，359--397（2007；Zbl 1277.68121） 全文： 内政部
J.瑞利。;轩尼诗，M。 分布式进程和位置故障。 （英语） 兹比尔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） 全文： 内政部
威廉·费雷拉;马修·轩尼诗 一阶CML的行为理论。 （英语） Zbl 0915.68111号 西奥。计算。科学。 216，编号1-2，55-107（1999）。MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Ferreira}和\textit{M.Hennessy}，Theor。计算。科学。216，编号1--2，55-107（1999；Zbl 0915.68111） 全文： 内政部
轩尼诗，M。;J.Rathke。 广播系统演算的相互模拟。 （英语） Zbl 0915.68065号 西奥。计算。科学。 200，编号1-2225-260（1998）。MSC公司：2010年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}和\textit{J.Rathke}，Theor。计算。科学。200，编号1--2225-260（1998；Zbl 0915.68065） 全文： 内政部
詹姆斯·里利;马修·轩尼诗 分布式进程和位置故障。 （英语） 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） 全文： 内政部
轩尼诗，M。;Lin，H。 消息传递过程代数的证明系统。 （英语） Zbl 0857.68040号 正式Asp。计算。 8，第4期，379-407（1996）。MSC公司：2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}和\textit{H.Lin}，正式Asp。计算。8，第4号，379--407（1996；Zbl 0857.68040） 全文： 内政部
轩尼诗，M。;Lin，H。 符号互模拟。 （英语） Zbl 0874.68187号 西奥。计算。科学。 138，第2期，353-389（1995）。MSC公司：68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}和\textit{H.Lin}，Theor。计算。科学。138，编号2，353--389（1995；Zbl 0874.68187） 全文： 内政部
轩尼诗，M。;刘新新 消息传递过程的模式逻辑。 （英语） Zbl 0827.68102号 Acta信息。 32，第4期，375-393页（1995年）。MSC公司：68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}和\textit{X.X.Liu}，《学报》第32卷第4期，第375--393页（1995年；Zbl 0827.68102） 全文： 内政部
G.布多尔。;卡斯特拉尼，I。;轩尼诗，M。;A.基恩。 具有局部性的过程理论。 （英语） Zbl 0806.68070号 正式Asp。计算。 6，第2期，165-200（1994）。MSC公司：68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}等人，正式Asp。计算。6，第2号，165--200（1994；Zbl 0806.68070） 全文： 内政部
轩尼诗，M。;Ingólfsdóttir，A。 通过价值传递和分配沟通流程。 （英语） Zbl 0784.68055号 正式Asp。计算。 5，第5期，432-466（1993）。MSC公司：68问题55 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}和\textit{A.Ingólfsdóttir}，正式Asp。计算。5，第5号，432--466（1993；Zbl 0784.68055） 全文： 内政部