卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingófsdóttir,安娜 一阶分支时间属性的双向运行时强制。 (英语) Zbl 07667087号 日志。方法计算。科学。 19,第1号,第14号论文,44页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,日志。方法计算。科学。19,第1号,第14号论文,44页(2023;Zbl 07667087) 全文: 内政部 arXiv公司
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Wan Fokkink公司;Anna Ingólfsdóttir;巴斯·卢提克 获得并行组合的有限公理化是否需要两个二进制运算符? (英语) Zbl 1508.68239号 ACM事务处理。计算。日志。 23,第4条,第22条,第56页(2022年).MSC公司:68问题85 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,ACM Trans。计算。日志。23,第4号,第22条,56页(2022年;Zbl 1508.68239) 全文: 内政部 arXiv公司
卢卡·埃特罗;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;安娜·英格尔夫斯多蒂 公理化无递归的常规监控器。 (英语) Zbl 07531445号 J.日志。阿尔盖布。方法计划。 127,文章ID 100778,32 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。方法计划。127,文章ID 100778,32页(2022;Zbl 07531445) 全文: 内政部 arXiv公司
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Anna 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公司 链接
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;克雅坦松,Svarrn 使用递归确定HML的监控器。 (英语) Zbl 1494.68155号 J.日志。阿尔盖布。方法计划。 111,文章ID 100515,38 p.(2020).MSC公司:60年第68季度 03B70号 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。方法计划。111,文章ID 100515,38 p.(2020;Zbl 1494.68155) 全文: 内政部 arXiv公司
卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;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公司
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 通过抑制在运行时强制执行。 (英语) Zbl 1520.68069号 Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第34条,第17页(2018年)。MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,LIPIcs——莱布尼茨国际程序。通知。118,第34条,第17页(2018;Zbl 1520.68069) 全文: 内政部 arXiv公司
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 监视无声操作。 (英语) Zbl 1491.68104号 Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第7条,第14页(2018年)。MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,LIPIcs——莱布尼茨国际程序。通知。93,第7条,第14页(2018;Zbl 1491.68104) 全文: 内政部
卢卡·埃特罗;伊格纳西奥·法布雷加斯;加西亚·佩雷斯,阿尔瓦罗;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) 全文: 内政部
丙酮,L。;Fábregas,I。;加西亚·佩雷斯,a。;Ingólfsdóttir,A。 SOS中有界不确定性的统一规则格式,以术语作为标签。 (英语) Zbl 1373.68285号 J.日志。阿尔盖布。方法计划。 92, 64-86 (2017).MSC公司:68问题55 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。方法计划。92、64-86(2017年;Zbl 1373.68285) 全文: 内政部
阿德里安·弗兰卡兰扎;卢卡·埃特罗;安娜·英格尔夫斯多蒂 具有递归功能的轩尼诗-米尔纳逻辑的可监控性。 (英语) Zbl 1370.68203号 形式方法系统。设计。 51,第1号,87-116(2017).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}等人,《形式方法系统》。设计。51,第1号,87--116(2017;Zbl 1370.68203) 全文: 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;克雅坦松,Svarrn 关于确定监控器的复杂性。 (英语) Zbl 1489.68149号 Carayol,Arnaud(编辑)等人,《自动机的实现和应用》。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10329, 1-13 (2017).MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。10329,1-13(2017;Zbl 1489.68149) 全文: 内政部 链接
卢卡·埃特罗;欧根·伊安·戈里亚克;安娜·英格尔夫斯多蒂 Linda的无状态双相似性的基础完备公理化。 (英语) Zbl 1302.68198号 Inf.流程。莱特。 115,编号212-220(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《Inf.过程》。莱特。115,No.2,212--220(2015;Zbl 1302.68198) 全文: 内政部
卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;安娜·英格尔夫斯多蒂 在BCCSP上公理化弱模拟语义。 (英语) Zbl 1359.68183号 西奥。计算。科学。 537, 42-71 (2014).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。537、42--71(2014年;Zbl 1359.68183) 全文: 内政部
卢卡·埃特罗;安娜·英格尔夫斯多蒂;欧根·伊安·戈里亚克 幂等项和幂等一元运算符的SOS规则格式。 (英语) Zbl 1283.68200号 J.日志。阿尔盖布。程序。 83,第1号,64-80(2014).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。程序。83,第1号,64--80(2014;Zbl 1283.68200) 全文: 内政部
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 分配性的规则格式。 (英语) Zbl 1279.68180号 西奥。计算。科学。 458, 1-28 (2012).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。458,1--28(2012;Zbl 1279.68180) 全文: 内政部
卢卡·埃特罗;阿纳尔·比吉松;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 决定论和幂等性的规则格式。 (英语) Zbl 1243.68205号 科学。计算。程序。 77,编号7-8,889-907(2012).MSC公司:68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,科学。计算。程序。77,编号7--8889--907(2012;Zbl 1243.68205) 全文: 内政部
卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;Anna Ingólfsdóttir BCCSP上弱完全模拟语义的等式理论。 (英语) Zbl 1298.68161号 Bieliková,Mária(编辑)等人,SOFSEM 2012:计算机科学的理论与实践。2012年1月21日至27日,第38届计算机科学理论与实践当前趋势会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-27659-0/pbk)。计算机科学课堂讲稿7147141-152(2012)。MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。7147、141--152(2012年;Zbl 1298.68161) 全文: 内政部
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂 使用规则匹配双相似性证明GSOS语言中方程的有效性。 (英语) Zbl 1248.68347号 数学。结构。计算。科学。 22,第2期,291-331(2012). 审核人:Antti Valmari(坦佩雷) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,数学。结构。计算。科学。22,第2号,291-331(2012年;兹bl 1248.68347) 全文: 内政部
卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;安娜·英格尔夫斯多蒂 完整和现成的模拟语义并不是基于BCCSP的有限性,即使使用单一字母表也是如此。 (英语) Zbl 1260.68252号 Inf.流程。莱特。 111,第9期,408-413(2011).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《Inf.过程》。莱特。111,编号9,408--413(2011;Zbl 1260.68252) 全文: 内政部
卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;安娜·英格尔夫斯多蒂 在BCCSP上公理化弱就绪模拟语义。 (英语) Zbl 1351.68177号 Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会,南非约翰内斯堡,2011年8月31日至9月2日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23282-4/pbk)。计算机科学课堂讲稿6916,7-24(2011)。MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。6916,7--24(2011;Zbl 1351.68177) 全文: 内政部
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 零元素和单位元素的SOS规则格式。 (英语) Zbl 1216.68152号 西奥。计算。科学。 412,第28号,3045-3071(2011).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。412,第28号,3045--3071(2011;Zbl 1216.68152) 全文: 内政部
卢卡·埃特罗;陈、陶璐;安娜·英格尔夫斯多蒂;巴斯·卢提克;范德波尔(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) 全文: 内政部
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 零元素和单位元素的规则格式。 (英语) Zbl 1342.68189号 Mislove,Michael(ed.)等人,第26届编程语义数学基础会议论文集(MFPS 2010),加拿大渥太华,2010年5月6日至10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记265145-160(2010)。MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《电子》。理论注释。计算。科学。265145-160(2010年;Zbl 1342.68189) 全文: 内政部
卢卡·埃特罗;Wan Fokkink公司;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维 提升非有限公理化性的结果是过程代数的扩张。 (英语) Zbl 1186.68313号 学报信息。 47,第3期,147-177(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《信息学报》47,第3期,147--177(2010年;Zbl 1186.68313) 全文: 内政部 链接
卢卡·埃特罗;安娜·英格尔夫斯多蒂 关于优先权的可表达性。 (英语) Zbl 1191.68404号 Inf.流程。莱特。 109,第1期,第83-85页(2009年).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{A.Ingolfsdottir},Inf.过程。莱特。109,编号1,83--85(2009;Zbl 1191.68404) 全文: 内政部
卢卡·埃特罗;帕特里夏·鲍耶;奥古斯托·布尔古埃诺;拉森,金·G。 时间自动机可达性测试的威力。 (英语) Zbl 1023.68060号 西奥。计算。科学。 300,编号1-3,411-475(2003).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。300,编号1--3,411--475(2003;Zbl 1023.68060) 全文: 内政部
卢卡·埃特罗;弗朗索瓦·拉鲁西尼 你的模型检查器准时吗?时间模态逻辑模型检验的复杂性。 (英语) Zbl 1008.68030号 J.日志。阿尔盖布。程序。 52-53, 7-51 (2002).MSC公司:68N17号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{F.Laroussinie},J.Log。阿尔盖布。程序。52-53、7--51(2002年;Zbl 1008.68030) 全文: 内政部
卢卡·埃特罗;Jan Friso,格鲁特 利用字符串迭代实现MPA的完整等式公理化。 (英语) Zbl 0913.68108号 西奥。计算。科学。 211,第1-2号,339-374(1999).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{J.F.Groote},Theor。计算。科学。211,编号1--2,339--374(1999;Zbl 0913.68108) 全文: 内政部