作　　者：Filippo Bonchi ;Robin Piedeleu ;Pawel Sobocinski 等

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

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

文 章 ID：238891945

作　　者：Tobias Kapp ;Paul Brunet ;Jurriaan Rot 等

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

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

文 章 ID：238891949

作　　者：Tao Gu ;Fabio Zanasi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;139:1-21.doi:10.4230/LIPIcs.CALCO.2019.10

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

文 章 ID：241520007

作　　者：Pawel Sobocinski ;Paul W. Wilson ;Fabio Zanasi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;139:1-7.doi:10.4230/LIPIcs.CALCO.2019.20

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

文 章 ID：241520017

作　　者：Tobias Kapp{\'e ;Paul Brunet ;Bas Luttik 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:25:1-25:16.doi:10.4230/LIPIcs.CONCUR.2017.25

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

文 章 ID：200735191

作　　者：Bart Jacobs ;Fabio Zanasi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:21:1-21:14.doi:10.4230/LIPIcs.MFCS.2017.21

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

文 章 ID：205510010

作　　者：Brendan Fong ;Fabio Zanasi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:12:1-12:16.doi:10.4230/LIPIcs.CALCO.2017.12

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

文 章 ID：205510183

作　　者：Filippo Bonchi ;Fabio Zanasi

出　　处：Logical Methods in Computer Science. 2015 ;11(1):1.doi:10.2168/LMCS-11(1:14)2015

出 版 社：Technical University of Braunschweig

文 章 ID：264692263