作 者:Laurence Loewe ;Stuart Moodie ;Jane Hillston
出 处:Electronic Proceedings in Theoretical Computer Science. 2009 ;6:93-107.doi:10.4204/EPTCS.6.7
出 版 社:Open Publishing Association
文 章 ID:83119738
作 者:Federica Ciocchetta ;Maria Luisa Guerriero ;Jane Hillston
出 处:Electronic Proceedings in Theoretical Computer Science. 2009 ;19:55-69.doi:10.4204/EPTCS.19.4
出 版 社:Open Publishing Association
文 章 ID:83119837
作 者:Giulio Caravagna ;Jane Hillston
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;40:85-101.doi:10.4204/EPTCS.40.7
出 版 社:Open Publishing Association
文 章 ID:83120063
作 者:Luca Bortolussi ;Vashti Galpin ;Jane Hillston
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;57:120-133.doi:10.4204/EPTCS.57.9
出 版 社:Open Publishing Association
文 章 ID:83120201
作 者:Vashti Galpin ;Jane Hillston ;Federica Ciocchetta
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;67:34-49.doi:10.4204/EPTCS.67.5
出 版 社:Open Publishing Association
文 章 ID:83120309
作 者:Luca Bortolussi ;Vashti Galpin ;Jane Hillston
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;85:106-121.doi:10.4204/EPTCS.85.8
出 版 社:Open Publishing Association
文 章 ID:83120506