作　　者：Magnus Johansson ;Björn Victor ;Joachim Parrow

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;18:17-31.doi:10.4204/EPTCS.18.2

出 版 社：Open Publishing Association

文 章 ID：83119828

作　　者：Jesper Bengtson ;Joachim Parrow

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

出 版 社：Technical University of Braunschweig

文 章 ID：47208400

作　　者：Jesper Bengtson ;Magnus Johansson ;Joachim Parrow 等

出　　处：Logical Methods in Computer Science. 2011 ;7(01).

出 版 社：Technical University of Braunschweig

文 章 ID：49467278

作　　者：Joachim Parrow ;Tjark Weber

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692089

作　　者：Johannes Borgström ;Ramūnas Gutkovas ;Joachim Parrow 等

出　　处：Logical Methods in Computer Science. 2016 ;12(1):1.doi:10.2168/LMCS-12(1:8)2016

出 版 社：Technical University of Braunschweig

文 章 ID：264692125

作　　者：Joachim Parrow ;Johannes Borgstr{\"o}m ;Lars-Henrik Eriksson 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:198-211.doi:10.4230/LIPIcs.CONCUR.2015.198

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

文 章 ID：186847010