卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;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年XX月 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。代数。方法计划。127,文章ID 100778,32 p.(2022;Zbl 07531445) 全文: 内政部 arXiv公司
阿德里安·弗兰卡兰扎;卢卡·埃特罗;安娜·英格尔斯多蒂尔 具有递归功能的轩尼诗-米尔纳逻辑的可监控性。 (英语) Zbl 1370.68203号 形式方法系统。设计。 51,第1号,87-116(2017).MSC公司:第68季度第60季度 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 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。10329,1-13(2017;Zbl 1489.68149) 全文: 内政部 链接
卢卡·埃特罗;黛拉·莫妮卡,达里奥;Anna Ingólfsdóttir;Angelo蒙塔纳里;Guido Sciavicco公司 关于有限和离散线性阶上Allen关系的区间逻辑的表示性。 (英语) Zbl 1432.03027号 Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日至26日,第14届欧洲会议,JELIA 2014,葡萄牙马德拉,Funchal。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8761, 267-281 (2014).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。8761,267--281(2014;Zbl 1432.03027) 全文: 内政部
卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;安娜·英格尔斯多蒂尔 在BCCSP上公理化弱模拟语义。 (英语) Zbl 1359.68183号 西奥。计算。科学。 537, 42-71 (2014).MSC公司:68问题55 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。537,42-71(2014年;兹bl 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) 全文: 内政部
卢卡·埃特罗;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 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) 全文: 内政部
卢卡·埃特罗;Anna Ingólfsdóttir;米克尔·莱克·佩德森;鲍尔森,Jan 定时自动调节的特征公式。 (英语) Zbl 0974.68121号 西奥。通知。申请。 34,第6号,565-584(2000).MSC公司:第68季度第60季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。通知。申请。34,第6号,565--584(2000;Zbl 0974.68121) 全文: 内政部 欧洲DML
卢卡·埃特罗;Anna Ingólfsdóttir 有限互模拟的特征。 (英语) Zbl 1337.68177号 信息处理。莱特。 64,第3期,127-134(1997).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{A.Ingólfsdóttir},Inf.过程。莱特。64,第3号,127--134(1997;Zbl 1337.68177) 全文: 内政部
卢卡·埃特罗;Wan Fokkink公司 多出口迭代的等式公理化。 (英语) Zbl 0881.68069号 Inf.计算。 137,第2121-158号(1997年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{W.Fokkink},Inf.计算。137,编号2,121--158(1997;Zbl 0881.68069) 全文: 内政部 链接
卢卡·埃特罗;阿兰·杰弗里 一类定时正则行为的定时互模拟的完全公理化。 (英语) Zbl 0872.68039号 西奥。计算。科学。 152,第2期,251-268(1995).MSC公司:2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{A.Jeffrey},Theor。计算。科学。152,第2号,251--268(1995;Zbl 0872.68039) 全文: 内政部
卢卡·埃特罗 关于关联并发性和不确定性。 (英语) Zbl 1518.68226号 Brookes,Stephen(编辑)等人,《编程语义的数学基础》。第七届国际会议,1991年3月25日至28日,美国宾夕法尼亚州匹兹堡。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。598, 376-402 (1992).MSC公司:第68季度85 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto},莱克特。注释计算。科学。598376--402(1992年;Zbl 1518.68226) 全文: 内政部
丙酮,L。;轩尼诗,M。 终止、僵局和分歧。 (英语) 兹比尔1509.68178 Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442301-318(1990年)。MSC公司:第68季度85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{M.Hennessy},莱克特。注释计算。科学。442301--318(1990年;Zbl 1509.68178) 全文: 内政部