作　　者：Qurat ul Ain Nizamani ;Emilio Tuosto

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;7:61-75.doi:10.4204/EPTCS.7.5

出 版 社：Open Publishing Association

文 章 ID：83119745

作　　者：Laura Bocchi ;Julien Lange ;Emilio Tuosto

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;59:111-129.doi:10.4204/EPTCS.59.10

出 版 社：Open Publishing Association

文 章 ID：83120221

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

作　　者：Julien Lange ;Emilio Tuosto

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;69:92-110.doi:10.4204/EPTCS.69.7

出 版 社：Open Publishing Association

文 章 ID：83120329

作　　者：Kyriakos Poyias ;Emilio Tuosto

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;104:67-82.doi:10.4204/EPTCS.104.7

出 版 社：Open Publishing Association

文 章 ID：83120670

作　　者：Jochen M. Küster ;Emilio Tuosto

出　　处：Electronic Communications of the EASST. 2010 ;29.

出 版 社：European Association of Software Science and Technology (EASST)

文 章 ID：100465627

作　　者：Omar Inverso ;Hern{'a}n Melgratti ;Luca Padovani 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:14:1-14:21.doi:10.4230/LIPIcs.CONCUR.2020.14

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

文 章 ID：255822873

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

作　　者：Gian Luigi Ferrari ;Roberto Guanciale ;Daniele Strollo 等

出　　处：Electronic Communications of the EASST. 2009 ;14.

出 版 社：European Association of Software Science and Technology (EASST)

文 章 ID：185436489

作　　者：Hyder Ali Nizamani ;Emilio Tuosto

出　　处：Electronic Communications of the EASST. 2011 ;31.

出 版 社：European Association of Software Science and Technology (EASST)

文 章 ID：185436853