作 者:Yifei Bao ;Adriana Compagnoni ;Joseph Glavy 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;40:39-53.doi:10.4204/EPTCS.40.4
出 版 社:Open Publishing Association
文 章 ID:83120060
作 者:Adriana Compagnoni ;Healfdene Goguen
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;45:1-15.doi:10.4204/EPTCS.45.1
出 版 社:Open Publishing Association
文 章 ID:83120096
作 者:Adriana Compagnoni ;Mariangiola Dezani-Ciancaglini ;Paola Giannini 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;100:101-106.doi:10.4204/EPTCS.100.7
出 版 社:Open Publishing Association
文 章 ID:83120632