电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Giorgio Delzanno ;Arnaud Sangnier ;Gianluigi Zavattaro
出 处：Electronic Proceedings in Theoretical Computer Science. 2011 ;60:56-65.doi:10.4204/EPTCS.60.4
出 版 社：Open Publishing Association
文 章 ID：83120227
作 者：Mario Bravetti ;Marco Carbone ;Julien Lange 等
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.38
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：238891946
作 者：Mario Bravetti ;Cinzia Di Giusto ;Jorge Perez 等
出 处：Logical Methods in Computer Science. 2012 ;8(4):1.doi:10.2168/LMCS-8(4:13)2012
出 版 社：Technical University of Braunschweig
文 章 ID：264691888
作 者：Frank De Boer ;Mahdi Jaghoori ;Cosimo Laneve 等
出 处：Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:5)2014
出 版 社：Technical University of Braunschweig
文 章 ID：264692160
作 者：Giorgio Delzanno ;Arnaud Sangnier ;Riccardo Traverso 等
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:289-300.doi:10.4230/LIPIcs.FSTTCS.2012.289
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186846210
作 者：Roberto Di Cosmo ;Michael Lienhardt ;Jacopo Mauro 等
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:1-16.doi:10.4230/LIPIcs.CONCUR.2015.1
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186846994
作 者：Frank S. de Boer ;Elena Giachino ;Stijn de Gouw 等
出 处：Electronic Proceedings in Theoretical Computer Science. 2019 ;302:1-15.doi:10.4204/EPTCS.302.1
出 版 社：Open Publishing Association
文 章 ID：1033557613