作　　者：Massimo Bartoletti ;Tiziana Cimoli ;G. Michele Pinna 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2013 ;109:13-20.doi:10.4204/EPTCS.109.3

出 版 社：Open Publishing Association

文 章 ID：85356953

作　　者：Massimo Bartoletti ;Roberto Zunino

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;38:67-82.doi:10.4204/EPTCS.38.8

出 版 社：Open Publishing Association

文 章 ID：83120044

作　　者：Massimo Bartoletti ;Emilio Tuosto ;Roberto Zunino

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;59:130-147.doi:10.4204/EPTCS.59.11

出 版 社：Open Publishing Association

文 章 ID：83120222

作　　者：Massimo Bartoletti ;Alceste Scalas ;Emilio Tuosto 等

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692050

作　　者：Massimo Bartoletti ;Laura Bocchi ;Maurizio Murgia

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-19.doi:10.4230/LIPIcs.CONCUR.2018.40

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

文 章 ID：230213352

作　　者：Massimo Bartoletti ;Letterio Galletta ;Maurizio Murgia

出　　处：Logical Methods in Computer Science. 2021 ;17(4):1-44.doi:10.46298/lmcs-17(4:10)2021

出 版 社：Technical University of Braunschweig

文 章 ID：1038046912

作　　者：Massimo Bartoletti ;Stefano Lande ;Maurizio Murgia 等

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-33.doi:10.46298/lmcs-18(1:22)2022

出 版 社：Technical University of Braunschweig

文 章 ID：1038046965