作　　者：Edsko de Vries ;Adrian Francalanza ;Matthew Hennessy

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;22:26-37.doi:10.4204/EPTCS.22.3

出 版 社：Open Publishing Association

文 章 ID：83119866

作　　者：Andrea Cerone ;Matthew Hennessy

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;41:31-45.doi:10.4204/EPTCS.41.3

出 版 社：Open Publishing Association

文 章 ID：83120071

作　　者：Yuxin Deng ;Rob van Glabbeek ;Matthew Hennessy 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;57:61-73.doi:10.4204/EPTCS.57.5

出 版 社：Open Publishing Association

文 章 ID：83120197

作　　者：Yuxin Deng ;Robert J. van Glabbeek ;Matthew Hennessy 等

出　　处：Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:4)2008

出 版 社：Technical University of Braunschweig

文 章 ID：47109813

作　　者：Adrian Francalanza ;Edsko DeVries ;Matthew Hennessy

出　　处：Logical Methods in Computer Science. 2014 ;10(2):1.doi:10.2168/LMCS-10(2:15)2014

出 版 社：Technical University of Braunschweig

文 章 ID：264691917

作　　者：Andrea Cerone ;Matthew Hennessy

出　　处：Logical Methods in Computer Science. 2013 ;9(3):1.doi:10.2168/LMCS-9(3:26)2013

出 版 社：Technical University of Braunschweig

文 章 ID：264692016

作　　者：Giovanni Bernardi ;Matthew Hennessy

出　　处：Logical Methods in Computer Science. 2016 ;12(2):1.doi:10.2168/LMCS-12(2:10)2016

出 版 社：Technical University of Braunschweig

文 章 ID：264692095

作　　者：Giovanni Bernardi ;Matthew Hennessy

出　　处：Logical Methods in Computer Science. 2015 ;11(2):1.doi:10.2168/LMCS-11(2:1)2015

出 版 社：Technical University of Braunschweig

文 章 ID：264692228

作　　者：Andrea Cerone ;Matthew Hennessy ;Massimo Merro

出　　处：Logical Methods in Computer Science. 2015 ;11(1):1.doi:10.2168/LMCS-11(1:18)2015

出 版 社：Technical University of Braunschweig

文 章 ID：264692256

作　　者：Matthew Hennessy

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:41-41.doi:10.4230/LIPIcs.CONCUR.2015.41

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846997