信息:eu-repo/grantAgreement/COST//IC1405/eu/可逆计算-扩展计算范围/ 信息:eu-repo/grantAgreement/MINECO//TIN2016-76843-C41-R/ES/Métodos rigurosos para el Internet del futuro/ 信息:eu-repo/grantAgreement/JSPS//JP17H01722/ 信息:eu-repo/grantAgreement/MINECO//EEBB-I-16-11469/ES/EEB-I-16-1146/ 信息:eu-repo/grantAgreement/MINECO//TIN2013-44742-C4-1-R/ES/VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE METODOS PRECISOS Y RIGUROSOS PARA UNA INGENIERIA DEL SOFTWARE ROBUSTA/ 信息:eu-repo/grantAgreement/MINECO//BES-2014-069749/ES/BES-2014-069749/ info:eu-repo/grantAgreement/GVA//PROMETEOII%2F2015%2F013/ES/SmartLogic:用于软件安全和性能的逻辑技术/ 信息:eu-repo/grantAgreement/MINECO//TIN2016-76843-C41-R/ES/METODOS RIGUROSOS PARA EL INTERNET DEL FUTURO/ [-]
这项工作得到了MINECO/AEI/FEDER(EU)的部分支持,获得了TIN2013-44742-C4-1-R和TIN2016-76843-C41-R拨款;Generalita Valenciana获得了PROMETEO-II/2015/013(SmartLogic)拨款;关于可逆计算扩展计算范围的成本行动IC1405,以及JSPS KAKENHI拨款编号JP17H01722。阿德里安·帕拉西奥斯(Adrian Palacios)部分得到了欧盟(FEDER)和西班牙阿尤达斯·帕拉西奥斯(Ayudas para contratos)的支持,阿尤达斯(Ayodas)是一名医生,而阿尤达斯帕拉西奥斯(Ayoudas)则是一名电影演员,阿尤达斯·帕拉西奥斯(Alaudas)在FPI的BES-2014-069749和EEBB-I-16-11469资助下获得了该奖项的支持。作为GNCS(Gruppo Nazionale per il Calcolo Scientifico)的成员,Ivan Lanese得到了INdAM的部分支持。部分研究是在第三和第四作者访问名古屋大学和博洛尼亚大学时进行的;他们感激地感谢他们的盛情款待。最后,我们感谢萨尔瓦多·塔马利特和匿名评论员提出的有益建议和意见。[-]