作　　者：Dmitry Chistikov ;Andrzej S. Murawski ;David Purser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.10

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

文 章 ID：238891918

作　　者：Dmitry Chistikov ;Stefan Kiefer ;Andrzej S. Murawski 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:41:1-41:19.doi:10.4230/LIPIcs.CONCUR.2020.41

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

文 章 ID：255822900

作　　者：Marco Gaboardi ;Kobbi Nissim ;David Purser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:129:1-129:17.doi:10.4230/LIPIcs.ICALP.2020.129

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

文 章 ID：255823164

作　　者：Christel Baier ;Florian Funke ;Simon Jantsch 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-17.doi:10.4230/LIPIcs.FSTTCS.2020.36

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

文 章 ID：257805106

作　　者：Dmitry Chistikov ;Stefan Kiefer ;Andrzej S. Murawski 等

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

出 版 社：Technical University of Braunschweig

文 章 ID：1038046946