摘要
罗伯特·阿基。 2017.“观察到的经典过程的通信语义”。 收录:编程语言与系统(计算机科学课堂讲稿)10201。 第26届欧洲规划研讨会。 2017年员工持股计划(2017年4月22日至29日,瑞典乌普萨拉)。 编辑:杨红seok。 Springer-Verlag GmbH德国,柏林,德国,56-82。 编号:978-3-662-54434-1。 https://doi.org/10.1007/978-3-662-54434-1_3。 谷歌学者 数字图书馆 斯蒂芬妮·巴尔泽(Stephanie Balzer)和弗兰克·普芬宁(Frank Pfenning)。 2017年9月。 “与会话类型共享清单”。 《美国计算机学会程序设计语言会议录》,第1期,ICFP,(2017年9月),第37页。 https://doi.org/10.1145/3110281。 谷歌学者 数字图书馆 路易斯·凯尔斯和弗兰克·普芬宁。 2010.“直觉主义线性命题的会话类型”。 收录于:CONCUR 2010-一致性理论(计算机科学课堂讲稿)6269。 第21届国际会议,CONCUR 2010(法国巴黎,2010年8月31日至9月3日)。 编辑:Paul Gastin和François Laroussinie。 柏林-海德堡施普林格-弗拉格,222-236。 编号:978-3-642-15374-7。 https://doi.org/10.1007/978-3-642-15375-4_16。 谷歌学者 交叉引用 路易斯·凯尔斯(Luís Caires)、弗兰克·普芬宁(Frank Pfenning)和伯纳多·托尼霍(Bernardo Toninho)。 2016年3月。 “线性逻辑命题作为会话类型”。 《计算机科学中的数学结构》,26,3,(2016年3月),367-423。 行为类型第2部分。 https://doi.org/10.1017/s09601295140 218 谷歌学者 交叉引用 伊利亚诺·塞维萨托和安德烈·塞德洛夫。 2009年10月。 “通过线性逻辑关联基于状态和基于过程的并发(完整版)”。 信息与计算,207,10,(2009年10月),1044-1077。 特刊:第十三届逻辑、语言、信息和计算研讨会(WoLLIC 2006)。 https://doi.org/10.1016/j.ic。 2008 11.006. 谷歌学者 交叉引用 西尔维娅·克拉法(Silvia Crafa)、丹尼尔·瓦拉卡(Daniele Varacca)和吉田信子(Nobuko Yoshida)。 2007.《内部演算的合成事件结构语义》。 收录于:CONCUR 2007-并发理论(计算机科学讲稿)4703。 第十八届并行理论国际会议。 CONCUR 2007(葡萄牙里斯本,2007年9月3日至8日)。 编辑:Luís Caires和Vasco T.Vasconcelos。 柏林-海德堡施普林格-弗拉格,317-332。 编号:978-3-540-74407-8。 https://doi.org/10.1007/978-3-540-744 07-8_22. 谷歌学者 交叉引用 皮尔雷·马洛·丹尼·卢(Pierre-Malo Deniélou)和吉田信子(Nobuko Yoshida)。 2011.“动态多角色会话类型”。 输入:POPL'11。 第38届ACM SIGPLAN-SIGACT编程语言原理年会。 POPL'11(德克萨斯州奥斯汀,2011年1月26-28日)。 计算机械协会,纽约州纽约市,435-446。 编号:978-1-4503-0490-0。 https://doi.org/10.11网址 45/1926385.1926435。 谷歌学者 数字图书馆 Farzaneh Derakhshan和Frank Pfenning。 2022年5月10日。 “作为会话类型进程的循环证明:局部有效性条件”。 《计算机科学中的逻辑方法》,18,2,(2022年5月10日),8。 https://doi.org/10.46298/lmcs-18 ( 2 :8) 2022. 谷歌学者 交叉引用 托马斯·埃尔哈德。 2018年8月。 《微分线性逻辑导论:证明网、模型和反导数》。 《计算机科学中的数学结构》,28,7,(2018年8月),995-1060。 微分线性逻辑、网络和其他证明理论的定量和并行方法。 https://doi.org/10.1017/s0960129516000372。 谷歌学者 交叉引用 默多克·加巴伊(Murdoch Gabbay)和丹·吉卡(Dan Ghica)。 2012年9月24日。 “名义模型中的游戏语义”。 理论计算机科学电子笔记,286,(2012年9月24日),173-189。 第28届程序设计语义学数学基础会议论文集(MFPS XXVIII)。 https://doi.org/10.1016/j.entcs。 2012 08.012. 谷歌学者 交叉引用 Kohei Honda公司。 1993.“二元交互类型”。 收录于:CONCUR’93(计算机科学讲稿)715。 第四届并行理论国际会议(德国希尔德斯海姆,1993年8月23日至26日)。 艾克·贝斯特编辑。 柏林海德堡斯普林格·弗拉格,509-523。 编号:978-3-540-47968-0。 https://doi.org/10.1007/3-540-57208-2_35。 谷歌学者 交叉引用 Kohei Honda、Vasco T.Vasconcelos和Makoto Kubo。 1998年,“结构化通信编程的语言原语和类型规则”。 收录:编程语言与系统(计算机科学讲稿)1381。 第七届欧洲规划研讨会。 1998年《员工持股计划》(葡萄牙里斯本,1998年3月28日至4月4日)。 编辑:Chris Hankin。 欧洲软件理论与实践联合会议,ETAPS'98。 柏林-海德堡施普林格-弗拉格出版社,122-138年。 编号:978-3-540-69722-0。 https://doi.org/10.1007/BFb0053567。 谷歌学者 交叉引用 本田小平、吉田信子和卡博尼。 2016年3月3日。 “多方异步会话类型”。 ACM杂志,63,1,(2016年3月3日),9。 https://doi.org/10.1145/2827695。 谷歌学者 数字图书馆 瑞安·卡瓦纳。 2022年5月。 “会话类型语言的公平性和基于通信的语义”。 信息与计算,285,B,(2022年5月),104892。 https://doi.org/10.1016/j.ic。 2022 104892 谷歌学者 交叉引用 Ryan Kavanagh和Brigitte Pientka。 2024年3月8日。 消息-观察会话。 (2024年3月8日)。 arXiv公司:2403.04633【公司损益】。 谷歌学者 本杰明·皮尔斯。 2002.类型和编程语言。 麻省理工学院出版社,马萨诸塞州剑桥。 第22页+623页,页码:0-262-16209-1。 谷歌学者 佩德罗·罗查和路易斯·凯尔斯。 2021年8月。 “提案-As类型和共享状态”。 《美国计算机学会程序设计语言会议录》,第5期,ICFP,(2021年8月),第79页。 https://doi.org/10.1145/3473584。 谷歌学者 数字图书馆 佩德罗·罗查和路易斯·凯尔斯。 2023.“共享线性状态的基于会话的安全并发”。 收录:编程语言与系统(计算机科学课堂讲稿)13990。 第32届欧洲规划研讨会。 ESOP 2023(法国巴黎,2023年4月22日至27日)。 编辑:Thomas Wies。 施普林格,查姆,瑞士,421-450。 编号:978-3-031-30044-8。 https://doi.org/10.1007/978-3-031-30044-8_16。 谷歌学者 数字图书馆 Siva Somayyajula和Frank Pfenning。 2022.“基于类型的期货终止”。 在:第七届计算和推导形式结构国际会议(莱布尼茨国际信息学论文集)。 第七届计算和演绎形式结构国际会议。 FSCD 2022(以色列海法,2022年8月2-5日)。 德国瓦登/萨尔布吕肯Dagstuhl-Leibniz-Zentrum für Informatik学校。 国际标准编号:978-3-95977-233-4。 https://doi.org/10.4230/LIPIcs.FSCD。 2022 12 谷歌学者 交叉引用 克劳德·斯托尔泽(Claude Stolze)、马里诺·米库兰(Marino Miculan)和彼得罗·迪·贾南托尼奥(Pietro Di Gianantonio)。 2023年4月。 “开放系统的可组合部分多方会话类型”。 《软件和系统建模》,22,2,(2023年4月),473-494。 https://doi.org/10.1007/s10270-022-01040-x。 谷歌学者 数字图书馆 Kaku Takeuchi、Kohei Honda和Makoto Kubo。 1994年,“基于交互的语言及其类型系统”。 在:第94部分。 欧洲并行体系结构和语言(计算机科学讲义)10201。 第六届国际PARLE会议(1994年7月4日至8日,希腊雅典)。 Costas Halatsis、Dimitrios Maritsas、George Philokyprou和Sergios Theodoridis编辑。 柏林海德堡施普林格·弗拉格,柏林,398-413。 编号:978-3-540-48477-6。 https://doi.org/10.1007网址 /3-540-58184-7_118. 谷歌学者 交叉引用 围棋项目。 2024年2月6日。 围棋编程语言规范。 语言版本go1.22。 (2024年2月6日)。 2024年3月5日检索自 https://perma.cc/436Q-ZL6J。 谷歌学者 彼得·蒂曼(Peter Thiemann)和瓦斯科·T·瓦斯康塞洛斯(Vasco T.Vasconelos)。 2019年12月。 “依赖标签的会话类型”。 《美国计算机学会程序设计语言会议录》,第4期,POPL,(2019年12月),第67页。 https://doi.org/10.1145/3371135。 谷歌学者 数字图书馆 伯纳多·托尼霍(Bernardo Toninho)、路易斯·凯雷斯(Luís Caires)和弗兰克·普芬宁(Frank Pfenning)。 2011.“通过直觉主义线性类型理论确定相关会话类型”。 包含:PPDP'11。 第13届ACM SIGPLAN国际声明性编程原则与实践研讨会。 PPDP'11(2011年7月20日至22日,丹麦欧登塞)。 计算机械协会,纽约,161-172。 编号:978-1-4503-0776-5。 https://doi.org/10.1145/2003476.2003499。 谷歌学者 数字图书馆 伯纳多·托尼霍(Bernardo Toninho)和吉田信子(Nobuko Yoshida)。 2018年,“取决于会话型流程”。 收录:软件科学和计算结构基础(计算机科学讲稿)10803。 第21届国际会议,FOSSACS 2018(希腊塞萨洛尼基,2018年4月14日至20日)。 编辑:Christel Baier和Ugo Dal Lago。 欧洲软件理论与实践联合会议。 瑞士查姆施普林格公开赛,128-145。 编号:978-3-319-89 3-319-89366-2_7。 谷歌学者 交叉引用 丹尼尔·瓦拉卡和吉田信子。 2010年4月6日。 “类型化事件结构与线性微积分”。 理论计算机科学,41119(2010年4月6日),1949-1973。 编程语义的数学基础(MFPS 2006)。 https://doi.org/10.1016/j.tcs。 2010 01.024. 谷歌学者 交叉引用 菲利普·沃德勒。 2014年1月31日。 “提案作为会话”。 《函数编程杂志》,24,2-3,(2014年1月31日),384-418。 https://doi.org/10.1017/s095679681400001x。 谷歌学者 交叉引用
建议
会话类型的内在类型机械化语义 PPDP’19:第21届声明性编程原则与实践国际研讨会论文集 会话类型已经成为构建基于通信的程序的强大范例。 它们保证了具有复杂通信协议的并发程序的类型稳定性和会话保真度。 作为语言的类型可靠性证明。。。 带回调的内部类型会话(功能明珠) 会话类型的所有形式化都依赖于线性类型来保证可靠性,因为会话类型的通信通道在每次操作时都必须更改其类型。 会话类型的嵌入式语言实现也是如此。 他们要么依靠聪明的打字。。。