卢卡·埃特罗；伊格纳西奥·法布雷加斯；卡洛斯·格雷戈里奥·罗德里格斯；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） 全文： DOI程序
卡洛斯·格雷戈里奥·罗德里格斯；路易斯·利亚纳；拉斐尔·马丁内斯 一致性关系的公理语义。 （英语） Zbl 1400.68133号 J.日志。阿尔盖布。方法计划。 100, 152-184 (2018).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Gregorio-Rodríguez}等人，J.Log。阿尔盖布。方法计划。100252-184（2018年；兹比尔1400.68133） 全文： DOI程序
卢卡·埃特罗；戴维·德·弗鲁托斯·埃斯克里格；卡洛斯·格雷戈里奥·罗德里格斯；安娜·英格尔夫斯多蒂 在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） 全文： DOI程序
卢卡·埃特罗；戴维·德·弗鲁托斯·埃斯克里格；卡洛斯·格雷戈里奥·罗德里格斯；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） 全文： DOI程序
卢卡·埃特罗；戴维·德·弗鲁托斯·埃斯克里格；卡洛斯·格雷戈里奥·罗德里格斯；安娜·英格尔夫斯多蒂 完整和现成的模拟语义并不是基于BCCSP的有限性，即使使用单一字母表也是如此。 （英语） Zbl 1260.68252号 信息处理。莱特。 111，第9期，408-413（2011）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，《Inf.过程》。莱特。111，编号9，408--413（2011；Zbl 1260.68252） 全文： DOI程序
卢卡·埃特罗；戴维·德·弗鲁托斯·埃斯克里格；卡洛斯·格雷戈里奥·罗德里格斯；安娜·英格尔夫斯多蒂 在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） 全文： DOI程序
戴维·德·弗鲁托斯·埃斯克里格；卡洛斯·格雷戈里奥·罗德里格斯；米盖尔·帕洛米诺 论过程语义的统一：等式语义。 （英语） Zbl 1337.68180号 Abramsky，Samson（编辑）等人，第25届编程语义数学基础会议论文集（MFPS 2009），英国牛津，2009年4月3日至7日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记249243-267（2009）。MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.de F.Escrig}等人，《电子》。注释Theor。计算。科学。249243-267（2009年；Zbl 1337.68180） 全文： DOI程序
戴维·德·弗鲁托斯·埃斯克里格；卡洛斯·格雷戈里奥·罗德里格斯 （Bi）模拟可描述流程语义。 （英语） Zbl 1165.68054号 Inf.计算。 207，第2期，146-170（2009）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.de Frutos Escrig}和\textit{C.G.Rodríguez}，Inf.Compute。207，编号2，146-170（2009年；兹bl 1165.68054） 全文： DOI程序
戴维·德·弗鲁托斯·埃斯克里格；卡洛斯·格雷戈里奥·罗德里格斯 模拟最新和规范的预订单（扩展抽象）。 （英语） Zbl 1278.68148号 van Glabbeek，Rob（编辑）等人，《结构操作语义第四次研讨会论文集》（SOS 2007），波兰弗罗茨瓦夫，2007年7月9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》192，第1期，13-28（2007）。MSC公司：68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.de Frutos Escrig}和\textit{C.G.Rodríguez}，电子。注释Theor。计算。科学。192，编号1，13--28（2007；Zbl 1278.68148） 全文： DOI程序