作 者: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