Aceto，卢卡;瓦伦蒂娜·卡斯蒂格利奥尼;Ingólfsdóttir，安娜;巴斯·卢提克;马蒂亚斯·拉加德·佩德森 关于平行组合的公理化。 （英语） Zbl 07471704号 日志。方法计算。科学。 18，第1号，第15号文件，第51页（2022）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，日志。方法计算。科学。18，第1号，第15号文件，第51页（2022；Zbl 07471704） 全文： arXiv公司 链接
托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西 弱双Kleene代数的等价性检验。 （英语） 兹伯利07407791 日志。方法计算。科学。 17，第3号，第19号论文，53页（2021年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人，日志。方法计算。科学。17，第3号，第19号论文，53页（2021；Zbl 07407791） 全文： arXiv公司 链接
Aceto，卢卡;瓦伦蒂娜·卡斯蒂格利奥尼;Ingólfsdóttir，安娜;巴斯·卢提克;马蒂亚斯·拉加德·佩德森 关于平行组合的公理化：光谱中的旅程。 （英语） Zbl 07559474号 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第18条，第22页（2020年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，LIPIcs——莱布尼茨国际程序。通知。171，第18条，22 p.（2020；Zbl 07559474） 全文： DOI程序
Aceto，卢卡;埃利·阿纳斯塔西亚迪;瓦伦蒂娜·卡斯蒂格利奥尼;Ingólfsdóttir，安娜;巴斯·卢提克;马蒂亚斯·拉加德·佩德森 关于优先权的公理化。三： 优先权再次罢工。 （英语） Zbl 1452.68124号 西奥。计算。科学。 837, 223-246 (2020).MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Theor。计算。科学。837223-246（2020年；兹比尔1452.68124） 全文： DOI程序
托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西 关于串并行pomset语言：合理性、上下文自由性和自动机。 （英语） Zbl 1417.68134号 J.日志。阿尔盖布。方法计划。 103, 130-153 (2019).MSC公司：68问题85 68号30 2012年第68季度 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人，J.Log。阿尔盖布。方法计划。103、130-153（2019年；Zbl 1417.68134） 全文： DOI程序 arXiv公司
托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西 Brzozowski是并发的——pomset语言的Kleene定理。 （英语） Zbl 1442.68145号 Meyer，Roland（编辑）等人，第28届并发理论国际会议。CONCUR 2017，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。第85条，第25条，第16页（2017年）。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人，LIPIcs——莱布尼茨国际程序。通知。85，第25条，第16页（2017年；Zbl 1442.68145） 全文： DOI程序 arXiv公司
Jos C.M.Baeten。;巴斯·卢提克;保罗·范蒂尔堡 反应式图灵机器。 （英语） Zbl 1342.68126号 Owe，Olaf（编辑）等人，《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，348-359（2011）。MSC公司：2005年第68季度 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}等人，Lect。注释计算。科学。69144348-359（2011年；兹bl 1342.68126） 全文： DOI程序 链接
Jos C.M.Baeten。;巴斯·卢提克 无戒备主要意味着许多解决方案。 （英语） Zbl 1216.68185号 西奥。计算。科学。 412，编号28，3090-3100（2011）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和\textit{B.Luttik}，Theor。计算。科学。412，编号28，3090--3100（2011年；兹bl 1216.68185） 全文： DOI程序
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） 全文： DOI程序
博特尼克，E。;北卡罗来纳州特里卡。;A.J.威伊斯。;B.卢提克。;范·德·莫特尔·弗朗茨克（J.M.Van De Mortel-Fronczak）。;巴顿，J.C.M。;W.J.福克金。;罗达，J.E。 使用Spin、CADP和Uppaal分析转台系统的（chi）模型。 （英语） Zbl 1088.68523号 J.日志。阿尔盖布。程序。 65，第2期，51-104（2005）.MSC公司：68平方米 68米15 90B30型 PDF格式BibTeX公司 XML格式引用 \textit{E.Bortnik}等人，J.Log。阿尔盖布。程序。65，No.2，51--104（2005；Zbl 1088.68523） 全文： DOI程序
Aceto，卢卡;Wan Fokkink公司;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） 全文： DOI程序 链接