作 者:Ugo Dal Lago ;Simone Martini ;Davide Sangiorgi
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;41:46-60.doi:10.4204/EPTCS.41.4
出 版 社:Open Publishing Association
文 章 ID:83120072
作 者:Josva Kleist ;Davide Sangiorgi
出 处:BRICS Report Series. 1998 ;5(52).
出 版 社:Aarhus University
文 章 ID:101759985
作 者:Etienne Lozes ;Daniel Hirschkoff ;Davide Sangiorgi
出 处:Logical Methods in Computer Science. 2008 ;4(03).doi:10.2168/LMCS-4(3:4)2008
出 版 社:Technical University of Braunschweig
文 章 ID:47109806
作 者:Adrien Durier ;Daniel Hirschkoff ;Davide Sangiorgi
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:11:1-11:16.doi:10.4230/LIPIcs.CONCUR.2017.11
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735177
作 者:Daniel Hirschkoff ;Enguerrand Prebet ;Davide Sangiorgi
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:34:1-34:20.doi:10.4230/LIPIcs.CONCUR.2020.34
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255822893
作 者:Saverio Giallorenzo ;Ivan Lanese ;Fabrizio Montesi 等
出 处:OASIcs : OpenAccess Series in Informatics. 2020 ;86:1-21.doi:10.4230/OASIcs.Gabbrielli.5
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:257805135
作 者:Ioannis Chatzigiannakis ;Michael Mitzenmacher ;Yuval Rabani 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:0:i-0:xliv.doi:10.4230/LIPIcs.ICALP.2016.0
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847597