作　　者：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

作　　者：Andrea Cerone ;Alexey Gotsman ;Hongseok Yang

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:26:1-26:18.doi:10.4230/LIPIcs.CONCUR.2017.26

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

文 章 ID：200735192

作　　者：Shale Xiong ;Andrea Cerone ;Azalea Raad 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;166:1-31.doi:10.4230/LIPIcs.ECOOP.2020.21

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

文 章 ID：256859640

作　　者：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

作　　者：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

作　　者：Andrea Cerone ;Giovanni Bernardi ;Alexey Gotsman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:58-71.doi:10.4230/LIPIcs.CONCUR.2015.58

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

文 章 ID：186847000