卢卡·埃特罗;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;卡罗琳娜·莱赫蒂宁;马蒂亚斯·拉加德·佩德森 关于概率监测。 (英语) Zbl 1528.68246号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660325-342(2022年)。MSC公司:68问题85 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。13660325--342(2022年;Zbl 1528.68246) 全文: 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;阿德里安·弗兰卡兰扎 用电路监测超属性。 (英语) Zbl 1499.68199号 Mousavi,Mohammad Reza(编辑)等人,分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议,FORTE 2022,作为第17届分布式计算技术国际联合会议的一部分,于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13273, 1-10 (2022).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。13273,1-10(2022;Zbl 1499.68199) 全文: 内政部 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公司
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 在双向运行时强制上。 (英语) Zbl 1489.68135号 Peters,Kirstin(编辑)等人,分布式对象、组件和系统的形式化技术。第41届IFIP WG 6.1国际会议,FORTE 2021,作为第16届分布式计算技术国际联合会议的一部分,于2021年6月14日至18日在马耳他瓦莱塔举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12719, 3-21 (2021).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。12719,3-21(2021年;兹比尔1489.68135) 全文: 内政部 哈尔
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;克雅坦松,Svarrn 使用递归确定HML的监控器。 (英语) Zbl 1494.68155号 J.日志。阿尔盖布。方法计划。 111,文章ID 100515,38 p.(2020).MSC公司:60年第68季度 03B70号 65年第68季度 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}等人,Log。方法计算。科学。15,第4号,第2号论文,46页(2019年;Zbl 1442.68119) 全文: arXiv公司
卢卡·埃特罗;伊格纳西奥·法布雷加斯;卡洛斯·格雷戈里奥·罗德里格斯;Anna 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) 全文: 内政部
卢卡·埃特罗;黛拉·莫妮卡,达里奥;伊格纳西奥·法布雷加斯;Anna Ingólfsdóttir 素数公式的特征是什么时候? (英语) Zbl 1425.68246号 西奥。计算。科学。 777, 3-31 (2019).MSC公司:60年第68季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。777,3--31(2019年;Zbl 1425.68246) 全文: 内政部
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;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) 全文: 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Ingólfsdóttir,安娜 参数化监控框架。 (英语) Zbl 1504.68136号 Baier,Christel(编辑)等人,《软件科学和计算结构基础》。2018年4月14日至20日在希腊塞萨洛尼基举行的第21届国际会议FOSSACS 2018,作为欧洲软件理论与实践联合会议ETAPS 2018的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10803, 203-220 (2018).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。10803203-220(2018年;兹比尔1504.68136) 全文: 内政部
卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;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(编辑);Legay、Axel(编辑);拉杜·马达尔(编辑) 模型、算法、逻辑和工具。纪念金·古德斯特兰·拉森60岁生日的文章。 (英语) Zbl 1368.68004号 计算机科学课堂讲稿10460.查姆:施普林格(ISBN 978-3-319-63120-2/pbk;978-3-3169-63121-9/电子书)。十七、662页。(2017).MSC公司:68-06 03B70号 65年第68季度 60年第68季度 68问题85 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格(2017;Zbl 1368.68004) 全文: 内政部
卢卡·埃特罗;伊格纳西奥·法布雷加斯;卡洛斯·格雷戈里奥·罗德里格斯;Anna 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) 全文: 内政部
丙酮,L。;Della Monica博士。;Fábregas,I。;Ingólfsdóttir,A。 素数公式的特征是什么时候? (英语) Zbl 1425.68245号 Italiano,F.(ed.)等人,《2015年计算机科学数学基础》。第40届国际研讨会,2015年MFCS,意大利米兰,2015年8月24-28日。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。9234, 76-88 (2015).MSC公司:60年第68季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。9234,76-88(2015;Zbl 1425.68245) 全文: 内政部 链接
卢卡·埃特罗;欧根·伊安·戈里亚克;安娜·英格尔夫斯多蒂 Meta SOS–基于Maude的SOS元理论框架。 (英语) 兹比尔1464.68189 Borgsteröm,Johannes(ed.)等人,第20届并发表达性国际研讨会和第10届结构化操作语义研讨会,阿根廷布宜诺斯艾利斯,2013年8月26日。诉讼程序。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)120,93-107(2013)。MSC公司:第68季度55 68甲15 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《电子》。程序。西奥。计算。科学。(EPTCS)120,93--107(2013;Zbl 1464.68189) 全文: arXiv公司 链接
卢卡·埃特罗;阿纳尔·比吉松;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(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;穆罕默德·雷扎·穆萨维 关于并行过程历史的分解推理。 (英语) Zbl 1353.68191号 Arbab,Farhad(编辑)等人,《软件工程基础》,第四届IPM国际会议,FSEN 2011,伊朗德黑兰,2011年4月20日至22日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-29319-1/pbk)。《计算机科学讲义》7141,32-47(2012)。MSC公司:68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。7141,32-47(2012;Zbl 1353.68191) 全文: 内政部 链接
卢卡·埃特罗;乔治亚娜·卡尔泰斯;欧根·伊安·戈里亚克;安娜·英格尔夫斯多蒂 用谓词公理化GSOS。 (英语) Zbl 1457.68174号 Reniers,M.A.(编辑)等人,《结构操作语义2011年第八次研讨会》,德国亚琛,2011年9月5日。诉讼程序。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)62,1-15(2011)。MSC公司:68问题85 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《电子》。程序。西奥。计算。科学。(EPTCS)62,1--15(2011;Zbl 1457.68174) 全文: arXiv公司 链接
卢卡·埃特罗;乔治亚娜·卡尔泰斯;欧根·伊安·戈里亚克;安娜·英格尔夫斯多蒂 PREG公理化器–GSOS与谓词的基本双相似性检查器。 (英语) Zbl 1344.68199号 Andrea Corradini等人,《计算机科学中的代数和余代数》。2011年8月30日至9月2日在英国温彻斯特举行的2011年CALCO第四届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22943-5/pbk)。计算机科学课堂讲稿6859378-385(2011)。MSC公司:68吨15 第68季度55 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。6859378--385(2011年;Zbl 1344.68199) 全文: 内政部 链接
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂 一种基于互模拟的方法,用于证明GSOS语言中方程的有效性。 (英语) Zbl 1454.68071号 Klin,Bartek(编辑)等人,《结构操作语义学第六次研讨会》,意大利博洛尼亚,2009年8月31日。诉讼程序。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)18,1-16(2010)。MSC公司:68问题85 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《电子》。程序。西奥。计算。科学。(EPTCS)18,1--16(2010;Zbl 1454.68071) 全文: 链接
卢卡·埃特罗;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 单位元素的规则格式。 (英语) 兹比尔1274.68169 van Leeuwen,Jan(编辑)等人,SOFSEM 2010:计算机科学的理论与实践。2010年1月23日至29日,第36届计算机科学理论与实践当前趋势会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-11265-2/pbk)。计算机科学课堂讲稿5901141-152(2010)。MSC公司:第68季度55 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。5901141--152(2010年;Zbl 1274.68169) 全文: 内政部 链接
卢卡·埃特罗;阿纳尔·比吉松;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 决定论和幂等性的规则格式。 (英语) Zbl 1274.68060号 Arbab,Farhad(编辑)等人,《软件工程基础》,第三届IPM国际会议,FSEN 2009,伊朗基什岛,2009年4月15日至17日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-11622-3/pbk)。计算机科学课堂讲稿5961146-161(2010)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。5961、146--161(2010年;Zbl 1274.68060) 全文: 内政部 链接
卢卡·埃特罗;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 代数性质免费! (英语) Zbl 1188.68200号 牛市。欧洲理论协会。计算。科学。EATCS公司 99, 82-103 (2009).MSC公司:68问题65 68甲15 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,公牛。欧洲协会。计算。科学。EATCS 99,82--103(2009;Zbl 1188.68200)
卢卡·埃特罗;陈、陶璐;Wan Fokkink公司;安娜·英格尔夫斯多蒂 关于优先权的公理化。 (英语) Zbl 1141.68042号 数学。结构。计算。科学。 18,第1号,5-28(2008).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,数学。结构。计算。科学。18、编号1、5--28(2008;Zbl 1141.68042) 全文: 内政部
卢卡·埃特罗 不可能导致过程的等式逻辑。 (英语) 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年;兹bl 1276.68117) 全文: 链接
卢卡·埃特罗;安娜·英格尔夫斯多蒂 特征公式:从自动机到逻辑。 (英语) Zbl 1169.68497号 牛市。欧洲协会。计算。科学。EATCS公司 91, 58-75 (2007).MSC公司:60年第68季度 05年3月 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{A.Ingolfsdottir},公牛。欧洲协会。计算。科学。EATCS 91、58--75(2007;Zbl 1169.68497)
卢卡·埃特罗;Anna Ingólfsdóttir;Larsen,Kim G。;吉·斯尔巴 无功系统。建模、规范和验证。 (英语) 兹比尔1141.68043 剑桥:剑桥大学出版社(ISBN 978-0-521-87546-2/hbk)。十六、284页。(2007). 审核人:马格努斯·斯坦比(图尔库) MSC公司:68问题85 68-01 60年第68季度 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,反应系统。建模、规范和验证。剑桥:剑桥大学出版社(2007;Zbl 1141.68043) 全文: 内政部
卢卡·埃特罗;陈、陶璐;Wan Fokkink公司;安娜·英格尔夫斯多蒂 关于优先权的公理化。 (英语) Zbl 1134.68038号 Bugliesi,Michele(编辑)等人,《自动化,语言和编程》。2006年7月10日至14日,意大利威尼斯,第33届国际学术讨论会,ICALP 2006。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-540-35907-4/pbk)。计算机科学课堂讲稿4052,480-491(2006)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。4052480-491(2006年;Zbl 1134.68038) 全文: 内政部
卢卡·埃特罗 我最喜欢的一些结果是经典进程代数。 (英语) Zbl 1169.68533号 牛市。欧洲协会。计算。科学。EATCS公司 81,90-108(2003年).MSC公司:68问题85 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto},公牛。欧洲协会。计算。科学。EATCS 81、90--108(2003年;Zbl 1169.68533)
卢卡·埃特罗;弗朗索瓦·拉鲁西尼 你的模型检验员准时吗?关于定时模态逻辑模型检验的复杂性。 (英语) 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) 全文: 内政部
卢卡·埃特罗;Wan Fokkink公司;克里斯·弗霍夫 结构操作语义中的保守扩展。 (英语) Zbl 1049.68082号 Pun,Gheorghe(编辑)等人,《理论计算机科学的当前趋势》。进入21世纪。基于1992–2000年欧洲理论计算机科学协会(EATCS)公报上发布的专栏和教程。新加坡:世界科学(ISBN 981-02-4473-8)。504-524 (2001).MSC公司:第68季度55 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,in:理论计算机科学的当前趋势。进入21世纪。基于1992-2000年欧洲理论计算机科学协会(EATCS)公报上发布的专栏和教程。新加坡:世界科学。504--524(2001年;Zbl 1049.68082)
卢卡·埃特罗;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)
卢卡·埃特罗;Anna Ingólfsdóttir;米克尔·莱克·佩德森;鲍尔森,Jan 定时自动调节的特征公式。 (英语) Zbl 0974.68121号 西奥。通知。应用。 34,第6号,565-584(2000).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。通知。申请。34,第6号,565--584(2000;Zbl 0974.68121) 全文: 内政部 欧洲DML
卢卡·埃特罗;弗朗索瓦·拉鲁西尼 你的模型检验员准时吗?时间模态逻辑模型检验的复杂性。 (英语) Zbl 0955.68079号 库蒂·奥斯基(Kutyłowski),米洛斯·aw(编辑)等,《计算机科学的数学基础》,1999年。1999年9月6日至10日,第24届国际研讨会,MFCS’99,波兰什克拉斯卡波罗巴。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1672125-136(1999年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{F.Laroussinie},Lect。注释计算。科学。1672125--136(1999年;Zbl 0955.68079)
卢卡·埃特罗;布鲁姆,巴德;Vaandrager,Frits公司 将SOS规则转化为方程式。 (英语) Zbl 0822.68059号 Inf.计算。 111,第1期,第1-52页(1994年).MSC公司:第68季度55 60年第68季度 68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Inf.计算。111,编号1,1-52(1994;Zbl 0822.68059) 全文: 内政部 链接
卢卡·埃特罗 过程代数中的动作精化。 (英语) Zbl 0762.68003号 计算机科学杰出论文. 3. 剑桥:大学出版社。八、 第273页(1992年)。 审核人:M.K(布尔诺) MSC公司:68-02 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto},过程代数中的动作精化。剑桥:大学出版社(1992;Zbl 0762.68003)
卢卡·埃特罗;马修·轩尼诗 向有限进程代数中添加操作细化。 (英语) Zbl 0786.68055号 自动化、语言和编程、Proc。第18国际学院,马德里/西班牙,1991年,法律。注释计算。科学。510, 506-519 (1991).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{M.Hennessy},莱克特。注释计算。科学。510506--519(1991年;Zbl 0786.68055)