作 者:Yuxin Deng ;Rob van Glabbeek ;Matthew Hennessy 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;57:61-73.doi:10.4204/EPTCS.57.5
出 版 社:Open Publishing Association
文 章 ID:83120197
作 者:Rob van Glabbeek
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;89:81-98.doi:10.4204/EPTCS.89.7
出 版 社:Open Publishing Association
文 章 ID:83120521
作 者:Wan Fokkink ;Rob van Glabbeek
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-14.doi:10.4230/LIPIcs.CONCUR.2019.0
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238891908
作 者:Wan Fokkink ;Rob van Glabbeek ;Bas Luttik
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:15:1-15:16.doi:10.4230/LIPIcs.CONCUR.2017.15
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735181
作 者:Rob van Glabbeek
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:6:1-6:23.doi:10.4230/LIPIcs.CONCUR.2020.6
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255822865
作 者:Rob van Glabbeek ;Ursula Goltz ;Jens-Wolfhard Schicke-Uffmann
出 处:Logical Methods in Computer Science. 2013 ;9(3):1.doi:10.2168/LMCS-9(3:17)2013
出 版 社:Technical University of Braunschweig
文 章 ID:264692032
作 者:Rob van Glabbeek
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-1.doi:10.4230/LIPIcs.CONCUR.2018.3
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213315
作 者:Rob van Glabbeek
出 处:Electronic Proceedings in Theoretical Computer Science. 2019 ;300:69-85.doi:10.4204/EPTCS.300.5
出 版 社:Open Publishing Association
文 章 ID:1034776802