作　　者：Pedersen, Mathias Ruggaard ;Mardare, Radu ;Larsen, Kim Guldstrand 等

出　　处：Logical Methods in Computer Science. 2018 ;14(4).doi:10.23638/LMCS-14(4:19)2018

出 版 社：Technical University of Braunschweig

文 章 ID：1022768410

作　　者：Mardare, Radu ;Larsen, Kim G. ;Bacci, Giovanni 等

出　　处：Logical Methods in Computer Science. 2018 ;14(4).doi:10.23638/LMCS-14(4:15)2018

出 版 社：Technical University of Braunschweig

文 章 ID：1024654176

作　　者：Plotkin, Gordon D. ;Panangaden, Prakash ;Mardare, Radu

出　　处：Logical Methods in Computer Science. 2018 ;14(3).doi:10.23638/LMCS-14(3:19)2018

出 版 社：Technical University of Braunschweig

文 章 ID：1021277412

作　　者：Mardare, Radu ;Larsen, Kim G. ;Bacci, Giovanni 等

出　　处：Logical Methods in Computer Science. 2017 ;13(2).

出 版 社：Technical University of Braunschweig

文 章 ID：1011743034

作　　者：Mio, Matteo ;Mardare, Radu ;Furber, Robert

出　　处：Logical Methods in Computer Science. 2020 ;16(1):1-45.

出 版 社：Technical University of Braunschweig

文 章 ID：1035318166

作　　者：van Breugel, Franck ;Tang, Qiyi ;Mardare, Radu 等

出　　处：Logical Methods in Computer Science. 2021 ;17(1):1-36.

出 版 社：Technical University of Braunschweig

文 章 ID：1035318245

作　　者：Bacci, Giorgio ;Mardare, Radu ;Panangaden, Prakash 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;211.doi:10.4230/LIPIcs.CALCO.2021.7

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

文 章 ID：1037089072