Aceto，卢卡;伊格纳西奥·法布雷加斯;卡洛斯·格雷戈里奥·罗德里格斯;Ingólfsdóttir，安娜 输入输出一致性模拟的逻辑特征、规则格式和组合性。 （英语） Zbl 1423.68091号 J.日志。阿尔盖布。方法计划。 106, 78-106 (2019).MSC公司：68号30 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，J.Log。阿尔盖布。方法程序。106、78——106（2019年；Zbl 1423.68091） 全文： 内政部
Aceto，卢卡;伊格纳西奥·法布雷加斯;加西亚·佩雷斯，阿尔瓦罗;Ingólfsdóttir，安娜;尤兰达奥尔特加购物中心 标称过程计算的规则格式。 （英语） Zbl 1442.68120号 Meyer，Roland（编辑）等人，第28届并发理论国际会议。CONCUR 2017，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第10条，第16页（2017年）。MSC公司：68问题85 03B70号 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，LIPIcs——莱布尼茨国际程序。通知。85，第10条，第16页（2017年；Zbl 1442.68120） 全文： 内政部
Aceto，卢卡;伊格纳西奥·法布雷加斯;卡洛斯·格雷戈里奥·罗德里格斯;Ingólfsdóttir，安娜 输入输出一致性模拟的逻辑特征和组成。 （英语） Zbl 1433.68090号 Steffen，Bernhard（编辑）等人，SOFSEM 2017：计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议，爱尔兰利默里克，2017年1月16日至20日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。10139, 37-48 (2017).MSC公司：68号30 03B45号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Lect。注释计算。科学。10139，37-48（2017；Zbl 1433.68090） 全文： 内政部