作 者:Christian Colombo ;Adrian Francalanza ;Ruth Mizzi 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2013 ;108:1-15.doi:10.4204/EPTCS.108.1
出 版 社:Open Publishing Association
文 章 ID:85356944
作 者:Edsko de Vries ;Adrian Francalanza ;Matthew Hennessy
出 处:Electronic Proceedings in Theoretical Computer Science. 2009 ;22:26-37.doi:10.4204/EPTCS.22.3
出 版 社:Open Publishing Association
文 章 ID:83119866
作 者:Adrian Francalanza Ph.D ;Andrew Gauci M.Sc ;Gordon Pace Ph.D
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;68:23-37.doi:10.4204/EPTCS.68.4
出 版 社:Open Publishing Association
文 章 ID:83120318
作 者:Christian Colombo ;Adrian Francalanza ;Ian Grima
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;94:11-20.doi:10.4204/EPTCS.94.2
出 版 社:Open Publishing Association
文 章 ID:83120576
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:8:1-8:19.doi:10.4230/LIPIcs.CONCUR.2017.8
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735174
作 者:Luca Aceto ;Antonis Achilleos ;Adrian Francalanza 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:7:1-7:23.doi:10.4230/LIPIcs.CSL.2021.7
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:258514169
作 者:Luca Aceto ;Antonis Achilleos ;Adrian Francalanza 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:7:1-7:14.doi:10.4230/LIPIcs.FSTTCS.2017.7
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220015392
作 者:Adrian Francalanza ;Edsko DeVries ;Matthew Hennessy
出 处:Logical Methods in Computer Science. 2014 ;10(2):1.doi:10.2168/LMCS-10(2:15)2014
出 版 社:Technical University of Braunschweig
文 章 ID:264691917
作 者:Luca Aceto ;Ian Cassar ;Adrian Francalanza 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-17.doi:10.4230/LIPIcs.CONCUR.2018.34
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213346