作　　者：Ivan Gazeau ;Dale Miller ;Catuscia Palamidessi

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;85:63-76.doi:10.4204/EPTCS.85.5

出 版 社：Open Publishing Association

文 章 ID：83120503

作　　者：Catuscia Palamidessi ;Marco Stronati

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;85:92-105.doi:10.4204/EPTCS.85.7

出 版 社：Open Publishing Association

文 章 ID：83120505

作　　者：Marco Giunti ;Catuscia Palamidessi ;Frank D. Valencia

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;89:65-79.doi:10.4204/EPTCS.89.6

出 版 社：Open Publishing Association

文 章 ID：83120520

作　　者：Flavio Corradini ;Diletta Cacciagrano ;Catuscia Palamidessi

出　　处：Logical Methods in Computer Science. 2009 ;5(02).doi:10.2168/LMCS-5(2:15)2009

出 版 社：Technical University of Braunschweig

文 章 ID：47208398

作　　者：Catuscia Palamidessi ;Marco Romanelli

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:4:1-4:9.doi:10.4230/LIPIcs.CONCUR.2020.4

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

文 章 ID：255822863

作　　者：Moreno Falaschi ;Catuscia Palamidessi ;Marco Romanelli

出　　处：OASIcs : OpenAccess Series in Informatics. 2020 ;86:1-20.doi:10.4230/OASIcs.Gabbrielli.11

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

文 章 ID：257805141

作　　者：Catuscia Palamidessi ;Frank D. Valencia

出　　处：BRICS Report Series. 2001 ;8(20).

出 版 社：Aarhus University

文 章 ID：186804738

作　　者：Mogens Nielsen ;Catuscia Palamidessi ;Frank D. Valencia

出　　处：BRICS Report Series. 2002 ;9(22).

出 版 社：Aarhus University

文 章 ID：186804792

作　　者：Konstantinos Chatzikokolakis ;Catuscia Palamidessi ;Valeria Vignudelli

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:35:1-35:14.doi:10.4230/LIPIcs.CONCUR.2016.35

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

文 章 ID：186847593