Aceto，卢卡;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;安娜·英格尔夫斯多蒂 公理化无递归的常规监控器。 （英语） Zbl 07531445号 J.日志。阿尔盖布。方法计划。 127，文章ID 100778，32 p.（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，J.Log。阿尔盖布。方法程序。127，文章ID 100778，32 p.（2022；Zbl 07531445） 全文： 内政部 arXiv公司
Aceto，卢卡;伊格纳西奥·法布雷加斯;加西亚·佩雷斯，阿尔瓦罗;Anna Ingólfsdóttir;尤兰达奥尔特加购物中心 标称过程计算的规则格式。 （英语） Zbl 1442.68119号 日志。方法计算。科学。 15，第4号，第2号论文，46页（2019年）.MSC公司：68问题85 03B70号 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，日志。方法计算。科学。15，第4号，第2号论文，46页（2019；兹bl 1442.68119） 全文： arXiv公司
Aceto，卢卡;伊格纳西奥·法布雷加斯;加西亚·佩雷斯，阿尔瓦罗;Anna Ingólfsdóttir;尤兰达奥尔特加购物中心 标称过程计算的规则格式。 （英语） Zbl 1442.68120号 Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，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，卢卡;欧根·伊安·戈里亚克;Anna Ingólfsdóttir 幂等项和幂等一元运算符的SOS规则格式。 （英语） 兹比尔1302.68181 van Emde Boas，Peter（编辑）等人，《SOFSEM 2013：计算机科学的理论与实践》。2013年1月26日至31日，第39届计算机科学理论与实践当前趋势国际会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-35842-5/pbk）。计算机科学课堂讲稿7741108-120（2013）。MSC公司：68问题55 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Lect。注释计算。科学。7741，108-120（2013；Zbl 1302.68181） 全文： 内政部
Aceto，卢卡;陈、陶璐;安娜·英格尔夫斯多蒂;巴斯·卢提克;范德波尔（Jaco van de Pol） 关于优先权的公理化。二、。 （英语） Zbl 1216.68181号 西奥。计算。科学。 412，第28号，3035-3044（2011）.MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Theor。计算。科学。412，第28号，3035--3044（2011；Zbl 1216.68181） 全文： 内政部
Aceto，卢卡 不可能导致过程的等式逻辑。 （英语） Zbl 1276.68117号 Corradini，Flavio（编辑）等人，《逻辑、模型和计算机科学研讨会论文集》（LMCS 2006），意大利卡梅里诺，2006年4月20日至22日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记169，3-6（2007）。MSC公司：68问题85 03B70号 68问题55 60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{L.丙酮}，电子。注释Theor。计算。科学。169，3--6（2007；Zbl 1276.68117） 全文： 链接
Aceto，卢卡;Wan Fokkink公司;安娜·英格尔夫斯多蒂;苏米特·奈恩 具有中断的BPA上的双相似性不是有限的。 （英语） Zbl 1154.68084号 西奥。计算。科学。 366，编号1-2，60-81（2006）.MSC公司：68问题85 03C05号机组 08A70号 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Theor。计算。科学。366，编号1--2，60-81（2006；Zbl 1154.68084） 全文： 内政部 链接
Aceto，卢卡;Wan Fokkink公司;Anna Ingólfsdóttir;巴斯·卢提克 CCS与轩尼诗的合并没有有限等式公理化。 （英语） Zbl 1078.68102号 西奥。计算。科学。 330，第3期，377-405（2005）.MSC公司：68问题85 08A70号 03B45号 03C05号机组 2010年第68季度 65年第68季度 68问题55 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Theor。计算。科学。330，第3号，377--405（2005；Zbl 1078.68102） 全文： 内政部 链接
Aceto，卢卡;佐尔坦·埃西克;Anna Ingólfsdóttir 热带半环的等式理论。 （英语） Zbl 1021.08002号 西奥。计算。科学。 298，第3期，417-469（2003）.MSC公司：08A70号 2016年60月 70年第68季度 03C05号机组 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Theor。计算。科学。298，第3号，417--469（2003；Zbl 1021.08002） 全文： 内政部
Aceto，卢卡;佐尔坦·埃西克;Anna Ingólfsdóttir 自然数的最大加代数没有有限的等式基础。 （英语） Zbl 1021.08001号 西奥。计算。科学。 293，第1期，169-188（2003）. 审核人：列奥尼德·马特维维奇·马蒂诺夫（鄂木斯克） MSC公司：08A70号 03C05号机组 2015年第68季度 70年第68季度 08B20号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Theor。计算。科学。293，第1号，169--188（2003；Zbl 1021.08001） 全文： 内政部
Aceto，卢卡（编辑）;Wan Fokkink公司（编辑） 特刊：进程代数。 （英语） Zbl 0990.00058号 信息处理。莱特。 80，第1期，65页（2001年）.MSC公司：00B25型 68-06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}（编辑）和\textit{W.Fokkink}（主编），Inf.Process。莱特。80，第1号，第65页（2001；Zbl 0990.00058） 全文： 内政部
Aceto，卢卡;佐尔坦·埃西克;Anna Ingólfsdóttir 公理化热带半环。 （英语） Zbl 0978.16045号 Honsell，Furio（编辑）等人，《软件科学和计算结构基础》。2001年4月2日至6日在意大利热那亚举行的第四届国际会议FOSSACS 2001，该会议是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2030, 42-56 (2001).MSC公司：2016年60月 03C05号机组 08B05号 08B20号 70年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Lect。注释计算。科学。2030年，42-56（2001年；Zbl 0978.16045） 全文： 链接
Aceto，卢卡;Wan Fokkink公司;克里斯·弗霍夫 结构操作语义。 （英语） Zbl 1062.68074号 Bergstra，Jan A.（编辑）等人，《过程代数手册》。阿姆斯特丹：北荷兰/爱思维尔（ISBN 0-444-82830-3）。197-292 (2001).MSC公司：68问题55 60年第68季度 68问题85 68-00 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，in：过程代数手册。阿姆斯特丹：北荷兰/爱思唯尔。197-292（2001年；Zbl 1062.68074）