作　　者：Peter Bulychev ;Alexandre David ;Kim Guldstrand Larsen 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;72:30-42.doi:10.4204/EPTCS.72.4

出 版 社：Open Publishing Association

文 章 ID：83120350

作　　者：Jan Kretinsky ;Kim Guldstrand Larsen ;Simon Laursen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:142-154.doi:10.4230/LIPIcs.CONCUR.2015.142

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

文 章 ID：186847006

作　　者：Andreas E. Dalsgaard ;Mads Chr. Olesen ;Martin Toft 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2010 ;15:113-123.doi:10.4230/OASIcs.WCET.2010.113

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

文 章 ID：186848383

作　　者：Peter Christoffersen ;Mikkel Hansen ;Anders Mariegaard 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2015 ;44:77-90.doi:10.4230/OASIcs.SynCoP.2015.77

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

文 章 ID：186848902

作　　者：Mathias Ruggaard Pedersen ;Giorgio Bacci ;Kim Guldstrand Larsen

出　　处：Electronic Proceedings in Theoretical Computer Science. 2020 ;312(PROC. QAPL 2019):29-42.doi:10.4204/EPTCS.312.3

出 版 社：Open Publishing Association

文 章 ID：1034631239