×
西尔维娅·吉勒赞;约万卡·潘托维奇;伊万·普罗基奇;阿尔切斯特·斯卡拉斯;吉田、Nobuko

异步多方会话的精确子类型。 （英语） Zbl 07672673号

ACM事务处理。计算。日志。 24，第2条，第14条，73页（2023年）。

引用于1文件

MSC公司：

03B70号 计算机科学中的逻辑
68倍 计算机科学

关键词：

会话类型;\（\pi\）-微积分;打字系统;子类型;异步多方会话类型;可靠性;完整性
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghilezan}等人，ACM Trans。计算。日志。24，第2号，第14条，73页（2023；Zbl 07672673）
全文： 内政部 arXiv公司
OA许可证

参考文献：

[1] 安科纳、戴维德、博诺、维维亚纳、布拉维蒂、马里奥、坎波斯、乔安娜、卡斯塔尼亚、朱塞佩、德尼埃卢、皮尔雷·马洛、盖伊、西蒙·J、盖斯伯特、尼尔斯、贾奇诺、埃琳娜、胡、雷蒙德、约翰森、艾纳尔·布罗、马丁斯、弗朗西斯科、马斯卡迪、维维安纳、蒙泰西、法布里奇奥、内科娃、鲁米亚纳、Ng、尼古拉斯、帕多瓦尼、卢卡、瓦康塞洛斯、瓦斯科·T和吉田、诺布科。2016。编程语言中的行为类型。已找到。趋势计划。Lang.3，2-3（2016），95-230。内政部：
[2] Barendregt、Henk、Coppo、Mario和Dezani-Ciancaglini、Mariancola。1983.一个滤波器lambda模型和类型赋值的完备性。J.塞姆。日志48，4（1983），931-940。内政部：·Zbl 0545.03004号
[3] 贝蒂尼（Bettini）、洛伦佐（Lorenzo）、科波（Coppo）、马里奥（Mario）、德安东尼（D'Antoni）、罗利斯（Loris）、卢卡（Luca）、马可德（Marco De）、德扎尼·西安卡里尼（Dezani-Ciancaglini）和马里安吉拉（Marianola。2008年。动态交错多方会议的全球进展。第19届并行理论国际会议（计算机科学讲稿），第5201卷。施普林格，418-433。内政部：·Zbl 1160.68456号
[4] 布莱克本（Blackburn）、杰里米（Jeremy）、埃尔南德斯（Hernandez）、艾弗利（Ivory）、利加蒂（Ligatti）、杰伊（Jay）和纳希蒂加尔（Nachtigal）、迈克尔（Michael）。2012.完全分型等递归类型。技术报告CSE-071012。南佛罗里达大学。
[5] Daniel Brand和Pitro Zafiropulo。1983年。关于通信有限状态机。J.ACM30，2（1983），323-342。内政部：·Zbl 0512.68039号
[6] 布拉维蒂（Bravetti）、马里奥（Mario）、卡博尼（Carbone）、马尔科（Marco）、兰格（Lange）、朱利安（Julien）、吉田（Yoshida）、诺布科（Nobuko）和扎瓦塔罗（Zavataro）、吉安路易吉（Gianluig。2019a年。异步会话子类型的合理算法。第30届并行理论国际会议（LIPIcs），第140卷。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），38:1-38:16。内政部：·Zbl 07649946号
[7] 布拉维蒂（Bravetti）、马里奥（Mario）、卡博尼（Carbone）、马尔科（Marco）、兰格（Lange）、朱利安（Julien）、吉田（Yoshida）、诺布科（Nobuko）和扎瓦塔罗（Zavataro）、吉安路易吉（Gianluig。2019b年。异步会话子类型的声音算法（扩展版）。检索自http://arxiv.org/abs/1907.00421。 ·Zbl 07649946号
[8] 布拉维蒂（Bravetti）、马里奥（Mario）、卡博尼（Carbone）、马尔科（Marco）和扎瓦塔罗（Zavataro）、吉安路易吉（Gianluigi）。2018年。关于异步会话子类型的可判定性和不可判定性之间的边界。西奥。计算。《科学》722（2018），19-51。内政部：·兹比尔1388.68024
[9] 卡斯塔尼亚（Castagna）、朱塞佩（Giuseppe）、德扎尼·西安卡里尼（Dezani-Ciancaglini）、马里亚纽拉（Marianiola）、贾奇诺（Giachino）、埃琳娜（Elena）和帕多瓦尼（Padovani）、卢卡（Luca）。2009年a。会话类型的基础。在第11届国际ACM SIGPLAN声明性编程原则和实践会议上。美国医学会，219-230。内政部：·Zbl 1238.68026号
[10] 朱塞佩·卡斯塔尼亚和阿兰·弗里希。2005.语义子类型简介。第32届国际自动化、语言和编程学术讨论会（计算机科学讲稿），第3580卷。施普林格，30-34岁。内政部：·Zbl 1082.68581号
[11] 卡斯塔尼亚、朱塞佩、盖斯伯特、尼尔斯和帕多瓦尼、卢卡。2009年b。web服务契约理论。ACM事务处理。程序。语言系统31，5（2009），19:1-19:61。内政部：·Zbl 1295.68080号
[12] 卡斯塔尼亚（Castagna）、朱塞佩（Giuseppe）、尼古拉（Nicola）、罗科·德（Rocco De）和瓦拉卡（Varacca）、丹尼尔（Daniele）。2008年。像素的语义子类型。西奥。计算。科学398，1-3（2008），217-242。内政部：·兹比尔1146.68052
[13] 卡斯特罗·佩雷斯（Castro-Perez）、大卫（David）和吉田（Yoshida）、Nobuko。2020年。CAMP：成本软件多方会话协议。程序。ACM计划。Lang.OOPSLA（2020），155:1-155:30。内政部：
[14] 卡斯特罗·佩雷斯（Castro-Perez）、大卫（David）和吉田（Yoshida）、Nobuko。2020年。将一阶函数编译为会话型并行代码。在第29届国际编译构造会议上。143-154。内政部：
[15] 陈、慈珍、德扎尼·西安卡里尼、马里亚纽拉、斯卡拉斯、阿尔切斯特和吉田、诺布科。2017.关于会话类型中子类型的准确性。日志。方法计算。科学.13，2（2017）。内政部：·Zbl 1398.68360号
[16] 陈子春、德扎尼·西安卡里尼、马里安吉拉和吉田、Nobuko。2014.关于会话类型中的子类型的准确性。在第16届声明式编程原理与实践国际研讨会上。美国医学会，135-146。内政部：·兹比尔1398.68360
[17] 卡特纳（Cutner）、扎克（Zak）、吉田（Yoshida）、诺布科（Nobuko）和马丁·瓦索尔（Vassor）。2022.使用多方会话类型在Rust中重新排序无死锁异步消息。在第27届ACM SIGPLAN并行编程原理与实践研讨会上。美国医学会，246-261。内政部：
[18] Demangeon、Romain和Honda、Kohei。2011年，在具有线性类型的子类型pi-calculus中进行完全抽象。第22届并行理论国际会议（计算机科学讲稿），第6901卷。施普林格，280-296。内政部：·Zbl 1343.68165号
[19] 罗曼·德曼根（Romain Demangeon）和吉田信子（Nobuko Yoshida）。2015年，关于多党会议的表现力。第35届（IARCS）软件技术和理论计算机科学基金会年会（FSTTCS’15，2015年12月16-18日，印度班加罗尔），Prahladh Harsha和G.Ramalingam（编辑）。第45卷，560-574页·Zbl 1366.68012号
[20] Deniélou、Pierre-Malo和Yoshida、Nobuko。2012.多方会话类型满足通信自动机。第21届欧洲程序设计研讨会：程序设计语言和系统，作为欧洲软件理论与实践联合会议（计算机科学讲稿）的一部分，第7211卷。斯普林格，194-213。内政部：·兹比尔1352.68182
[21] Deniélou、Pierre-Malo和Yoshida、Nobuko。2013.通信自动机中的多方兼容性：全球会话类型的特征描述和合成。第40届国际自动化、语言和编程学术讨论会（计算机科学讲稿），第7966卷。施普林格，174-186年。内政部：·Zbl 1334.68149号
[22] Dezani-Ciancaglini、Mariangiola、de'Liguoro、Ugo和Piperno、Adolfo。1998年。并发λ-演算的过滤器模型。SIAM J.Compute.27，5（1998），1376-1419。内政部：·Zbl 0916.03017号
[23] Dezani-Ciancaglini，Mariangiola和Ghilezan，Silvia。2014.交叉和联合类型的子类型的精确性。在重写和打字Lambda微积分国际联合会议上，作为维也纳逻辑之夏的一部分举行（计算机科学讲义），第8560卷。斯普林格，194-207年。内政部：·兹伯利1416.68035
[24] 弗里希、阿兰、卡斯塔尼亚、朱塞佩和本扎肯、维罗尼克。2008.语义子类型：从理论上处理集合的函数、并集、交集和否定类型。J.ACM55，4（2008），19:1-19:64。内政部：·Zbl 1325.68136号
[25] 西蒙·盖伊和安东尼奥·拉瓦拉（编辑）。2017.行为类型：从理论到工具。River出版社。内政部：
[26] 西蒙·盖伊（Simon J.Gay）和马尔科姆·霍尔（Malcolm Hole）。2005.pi演算中会话类型的子类型。《信息学报》42，2-3（2005），191-225。内政部：·Zbl 1079.68065号
[27] 吉勒赞、西尔维亚、雅克西奇、斯维特拉纳、潘托维奇、约万卡、斯卡拉斯、阿尔切斯特和吉田、诺布科。2019.同步多方会议的精确分型。J.日志。阿尔盖布。方法。计划104（2019），127-173。内政部：·Zbl 1423.68306号
[28] Ghilezan、Silvia、Pantovic、Jovanka、Prokic、Ivan、Scalas、Alceste和Yoshida、Nobuko。2021.异步多方会话的精确子类型。程序。ACM计划。Lang.5，持久性有机污染物清单（2021），1-28。内政部：·Zbl 1423.68306号
[29] J.Roger欣德利。1983年。输入lambda-terms的完备性定理。西奥。计算。《科学》第22卷（1983年），第1-17页。内政部：·Zbl 0512.03009号
[30] 本田（Honda）、高黑（Kohei）、瓦康塞洛斯（Vasconcelos）、瓦斯科·图迪库姆（Vasco Thudichum）和库博（Kubo）、马科托（Makoto）。1998年。结构化通信编程的语言原语和类型规程。第七届欧洲程序设计研讨会：程序设计语言与系统，作为欧洲软件理论与实践联合会议（计算机科学讲稿）的一部分，第1381卷。施普林格，122-138。内政部：
[31] 本田、高平、吉田、Nobuko和Carbone，Marco。2008.多方异步会话类型。在第35届ACM SIGPLAN-SIGACT编程语言原理研讨会上。ACM，273-284之间。内政部：·Zbl 1295.68150号
[32] 本田、小平、吉田、Nobuko和Carbone、Marco。2016.多方异步会话类型。J.ACM63，1（2016），9:1-9:67。内政部：·Zbl 1426.68047号
[33] 罗斯·霍恩。2020年。使用循环序列的会话子类型和多方兼容性。第31届并行理论国际会议（LIPIcs），第171卷。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），12:1-12:22。内政部：·Zbl 07559468号
[34] 胡，雷蒙德。2017.使用从会话类型生成的Java API进行分布式编程。行为类型：从理论到工具。River出版社，287-308。内政部：
[35] 兰格、朱利安和吉田、Nobuko。2017.关于异步会话子类型的不确定性。第20届软件科学和计算结构基础国际会议，作为欧洲软件理论与实践联合会议（计算机科学讲稿）的一部分，第10203卷。441-457. 内政部：·Zbl 1486.68114号
[36] Lange，Julien和Yoshida，Nobuko。2019.通过通信会话自动机验证异步交互。在第31届国际计算机辅助验证会议上。97-117. 内政部：
[37] Ligatti、Jay、Blackburn、Jeremy和Nachtigal、Michael。2017.关于子类型关系完整性，并应用于等递归类型。ACM事务处理。程序。语言系统39，1（2017），4:1-4:36。内政部：
[38] Barbara Liskov和Jeannette M.Wing，1994年。子类型的行为概念。ACM事务处理。程序。语言系统16，6（1994），1811-1841。内政部：
[39] 莫斯特鲁斯、迪米特里斯和吉田、Nobuko。2015.高阶π演算的会话类型和异步子类型。Inf.Compute.241（2015），227-263。内政部：·兹比尔1309.68139
[40] Mostrous、Dimitris、Yoshida、Nobuko和Honda、Kohei。2009.部分交换异步会话中的全局主体键入。第18届欧洲程序设计研讨会：程序设计语言和系统，作为欧洲软件理论和实践联合会议的一部分举行（计算机科学讲义），第5502卷。施普林格，316-332。内政部：·Zbl 1234.68304号
[41] Ng、Nicholas、Figueiredo Coutinho、JoséGabriel de和Yoshida、Nobuko。2015.默认协议-基于会话类型的安全MPI代码生成。作为欧洲软件理论与实践联合会议（计算机科学讲稿）第9031卷的一部分，在第24届国际编译器构造会议上举行。施普林格，212-232。内政部：
[42] Ng、Nicholas、Yoshida、Nobuko和Honda、Kohei。2012.多方会话C：具有消息优化的安全并行编程。第50届对象、模型、组件、模式国际会议（计算机科学讲稿），第7304卷。施普林格，202-218。内政部：
[43] 本杰明·皮尔斯（Benjamin C.Pierce），2002年。类型和编程语言。麻省理工学院出版社·Zbl 0995.68018号
[44] 本杰明·皮尔斯（Benjamin C.Pierce）和大卫·桑吉奥吉（Davide Sangiorgi）。1996.移动进程的键入和子键入。数学。结构。计算。科学6，5（1996），409-453·Zbl 0861.68030号
[45] Davide Sangiorgi。2011年，《共刺激与共诱导导论》。剑桥大学出版社。内政部：·Zbl 1252.68008号
[46] 斯卡拉斯、阿尔切斯特和吉田、Nobuko。2019.少即是多：重温多方会议类型。程序。ACM计划。Lang.3，POPL（2019），30:1-30:29。内政部：·Zbl 1395.68199号
[47] 竹内、Kaku、本田、Kohei和Kubo、Makoto。1994年。一种基于交互的语言及其打字系统。第六届欧洲并行体系结构和语言国际会议（计算机科学讲稿），第817卷。施普林格，398-413。内政部：
[48] 格拉贝克、罗布·凡、赫夫纳、彼得和罗斯·霍恩。2021.假设公平性刚好足以使会话类型完整以实现锁自由。在第36届ACM/IEEE年度计算机科学逻辑研讨会上。IEEE，1-13。内政部：
[49] 吉田、Nobuko、Vasconcelos、Vasco Thudichum、Paulino、Hervé和本田、Kohei。2008.用于多核编程的基于会话的编译框架。第七届组件和对象形式化方法国际研讨会（LNCS），第5751卷。施普林格，226-246。内政部：
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不声称其完整性或完全匹配。