×
瑞安·卡瓦纳

会话类型语言的公平性和基于通信的语义。 （英语） Zbl 1504.68030号

Inf.计算。 285，B部分，文章ID 104892，77 p.（2022）.
摘要：Polarized SILL是一种将函数编程与会话类型的消息传递并发结合在一起的编程语言。它具有一般递归的特点；编码和信道传输；以及同步和异步通信。为了解释极化SILL程序，我们开发了第一个基于可观察通信的程序等价框架。
我们使用观察到的通信语义（OCS）为极化SILL程序赋予意义。我们的OCS是第一个支持通用递归和代码传输的OCS。然后，我们开发了一个基于通信的测试等价框架，并表明我们的框架所捕获的等价之一与过程等价的规范概念倒钩同余相一致。
极化SILL的操作语义是使用多集重写系统指定的。我们为多集重写系统引入了公平性，以确保我们的OCS在存在非终止进程的情况下得到良好定义，并使用公平性属性简化进程的推理。
这项工作为具有一般递归的会话型语言的观察推理奠定了基础。

MSC公司：

68甲15 编程语言理论
68甲18 函数编程和lambda演算
68甲19 其他编程范例（面向对象、顺序、并发、自动等）
68号30 软件工程的数学方面（规范、验证、度量、需求等）
2012年第68季度 语法和重写系统

关键词：

公平;多集重写;会话类型;观察到的通信语义;测试预订单;程序等效性
PDF格式BibTeX公司 XML格式引用
\textit{R.Kavanagh}，信息计算。285，B部分，文章ID 104892，77页（2022；Zbl 1504.68030）
全文： 内政部 arXiv公司
OA许可证

参考文献：

[1] Abramsky，Samson，The lazy Lambda calculation，（Turner，David A.，函数编程研究课题（1990），Addison-Wesley Longman Publishing Co.，Inc.：Addison-Whesley Longman出版社，Inc.马萨诸塞州波士顿）·Zbl 0779.03003号
[2] 阿普特，Krzysztof R。；Olderog，Ernst-Rüdiger，关于公平的证明规则。扩展摘要，（Kozen，Dexter，《程序逻辑》，程序逻辑研讨会，程序逻辑，纽约约克敦高地，1981年5月4日至6日。程序逻辑。课程逻辑研讨会。程序逻辑。程序逻辑研讨会，约克敦高地，纽约，1981年5月4日至6日，计算机科学讲义，第131卷（1982），斯普林格·弗拉格：斯普林格尔·弗拉格柏林，海德堡），1-8·Zbl 0481.68021号
[3] Robert Atkey，《观察经典过程的通信语义》，（Yang，Hongseok，《编程语言和系统》，第26届欧洲编程研讨会，2017年ESOP。编程语言和系统。第26届欧洲规划研讨会。2017年ESOP，瑞典乌普萨拉，2017年4月22日至29日。编程语言和系统。第26届欧洲规划研讨会。2017年员工持股计划。编程语言和系统。第26届欧洲规划研讨会。ESOP 2017，瑞典乌普萨拉，2017年4月22日至29日，《计算机科学讲义》，第10201卷（2017年），施普林格-维拉格股份有限公司德国：施普林格-维拉格股份有限公司德国柏林），56-82·Zbl 1485.68156号
[4] 斯蒂芬妮·巴尔泽；Pfenning，Frank，Manifest与会话类型共享，Proc。ACM计划。Lang.，1，37（2017）
[5] Barr，Michael，《自治范畴与线性逻辑》，数学。结构。计算。科学。，159-178年（1991年）·Zbl 0777.18006号
[6] Brzozowski，Janusz A.，正则表达式的导数，J.ACM，11，481-494（1964）·Zbl 0225.94044号
[7] 凯雷斯，路易斯；Pfenning，Frank，会话类型作为直觉主义线性命题，（Gatin，Paul；Laroussinie，Francois，CONCUR 2010-并发理论，第21届国际会议，CONCUR2010。CONCUR 2010-并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。CONCUR 2010——并发理论。2010年CONCUR第21届国际会议。CONCUR 2010——并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日，《计算机科学讲义》，第6269卷（2010），斯普林格·弗拉格：斯普林格尔·弗拉格柏林，海德堡），222-236·Zbl 1287.68125号
[8] Simon Castellan；吉田、Nobuko，同一枚硬币的两面：会话类型和游戏语义。同步端和异步端，Proc。ACM程序。兰格，3，27，27（2019）
[9] Cervesato，Iliano，安全协议的类型化多集重写规范，（MFCSIT2000，第一届爱尔兰计算机科学和信息技术数学基础会议·Zbl 1264.68075号
[10] 伊利亚诺·塞维萨托；Andre Scedrov，通过线性逻辑关联基于状态和基于进程的并发（完整版），专刊：第13期逻辑、语言、信息和计算研讨会（WoLLIC 2006）。特刊：第十三届逻辑、语言、信息和计算研讨会（WoLLIC 2006），Inf.Comput。，207, 1044-1077 (2009) ·Zbl 1181.68168号
[11] Cervesato，Iliano，《安全协议分析中串空间和多集重写的比较》，J.Compute。安全。，13, 265-316 (2005)
[12] Cervesato，Iliano，《并发逻辑框架II：示例和应用》（2003年5月），卡内基梅隆大学计算机科学学院：宾夕法尼亚州匹兹堡卡内基梅隆大学计算机学院，74页。
[13] Cervesato，Iliano，协议分析的元表示法，（第十二届IEEE计算机安全基础研讨会论文集。第十二届EEE计算机安全基础会议论文集。CSFW'99。第十二届IEEE计算机安全基础研讨会会议记录。第12届IEEE计算机安全基础研讨会。CSFW’99，意大利莫达诺，1999年6月28日至30日（1999），IEEE计算机学会：IEEE计算机协会，加利福尼亚州洛斯阿拉米托斯），55-69
[14] Cervesato，Iliano，《线性逻辑中的解释链》（2000年形式方法和计算机安全研讨会，2000年形式法和计算机安全讲习班，伊利诺伊州芝加哥，2000年7月（2000））·Zbl 0967.03027号
[15] 卢卡·西科内（Luca Ciccone）；Padovani，Luca，《带corules的推理系统用于二进制会话类型的公平子类型和活性属性》，（Bansal，Nikhil；Merelli，Emanuela；Worrell，James，第48届国际自动化、语言和编程学术讨论会。第48届自动化、语言与编程国际学术讨论会，ICALP 2021。第48届国际自动化、语言和编程学术讨论会。第48届自动机、语言和程序设计国际学术讨论会。ICALP 2021，虚拟会议，2021年7月12日至16日。第48届国际自动化、语言和编程学术讨论会。第48届国际自动化、语言和编程学术讨论会。ICALP 2021。第48届国际自动化、语言和编程学术讨论会。第48届自动机、语言和程序设计国际学术讨论会。ICALP 2021，虚拟会议，2021年7月12日至16日，莱布尼茨国际信息学论文集，第198卷（2021年6月2日），德国瓦登市达格斯图尔-莱布尼兹-泽特鲁姆信息研究所
[16] 杰拉尔多·科斯塔；科林·斯特林（Colin Stirling），《CCS中的弱公平和强公平》，《Inf.Compute.》。，73, 207-244 (1987) ·Zbl 0618.68026号
[17] Darondeau，Ph.，有限过程观测同余的扩大定义和完全公理化，（Dezani-Ciancaglini，Mariangiola；Ugo Montanari，国际编程研讨会。第五届国际规划研讨会。国际规划研讨会。第五届国际程序设计研讨会，1982年4月6日至8日，意大利都灵。国际规划研讨会。第五届国际规划研讨会。国际规划研讨会。第五届国际程序设计研讨会，1982年4月6日至8日，意大利都灵，计算机科学讲义，第137卷（1982），斯普林格·弗拉格：斯普林格尔·弗拉格柏林，海德堡），47-62·Zbl 0482.68025号
[18] Das，Ankush；Pfenning，Frank，算术改进的会话类型及其在工作分析中的应用（2020年1月23日）
[19] 德尼古拉，R。；Hennessy，M.C.B.，《过程等效性测试》，Theor。计算。科学。，34, 83-133 (1984) ·Zbl 0985.68518号
[20] De Nicola，Rocco，《通信过程的测试等效性和完全抽象模型》（1985），爱丁堡大学，vi+213 pp.HDL:1842/16979
[21] 德肖维茨，纳丘姆；Jayasimha，D.N。；Park，Seungjoon，《有限的公平》，（Dershowitz，Nachum，《验证：理论与实践》。《献给Zohar Manna 64岁生日的散文》（2003），施普林格出版社：施普林格出版社，海德堡，柏林），304-317·Zbl 1274.68181号
[22] Escardó，Martín Hötzel，《关于惰性自然数在可计算性理论和函数编程中的应用》，ACM SIGACT News，24，61-67（1993）
[23] 西蒙·福勒（Simon Fowler），顺利分会（2021年5月19日）·Zbl 07731931号
[24] Francez，Nissim，《计算机科学中的公平、文本和专著》（1986年），Springer-Verlag纽约公司，xiii+295页·Zbl 0602.68007号
[25] Freyd，P.，递归类型简化为归纳类型，（第五届IEEE计算机科学逻辑年会论文集。第五届IEEE计算机科学逻辑年会论文集。LICS’90。第五届IEEE计算机科学逻辑年会论文集。第五届IEEE计算机科学逻辑年会。LICS’90，宾夕法尼亚州费城，1990年6月4-7日（1990年6月份），IEEE计算机社会出版社，498-507
[26] 西蒙·盖伊（Simon J.Gay）。；Vasco T.Vascoconcelos，异步会话类型的线性类型理论，J.Funct。程序。，20, 19-50 (2010) ·Zbl 1185.68194号
[27] 罗布·范格拉贝克（Rob van Glabbeek）；Höfner，Peter；罗斯·霍恩（Ross Horne），《假设公平性刚好足以使会话类型完整以实现锁自由》（2021年第36届ACM/IEEE年度计算机科学逻辑研讨会（LICS））。第36届ACM/IEEE计算机科学逻辑年会。LICS’21。2021年第36届ACM/IEEE计算机科学逻辑年会（LICS）。第36届ACM/IEEE计算机科学逻辑年会。LICS’21，虚拟会议，2021年6月29日至7月2日（2021年））
[28] 汉纳·贡默施塔特；贾利民；Pfenning，Frank，会话型并发合同，（Amal，Ahmed，《编程语言和系统》，第27届欧洲编程研讨会，2018年ESOP。编程语言和系统。第27届欧洲规划研讨会。2018年ESOP，希腊塞萨洛尼基，2018年4月14日至20日。编程语言和系统。第27届欧洲规划研讨会。2018年员工持股计划。编程语言和系统。第27届欧洲规划研讨会。2018年ESOP，希腊塞萨洛尼基，2018年4月14日至20日，计算机科学讲义，第10801卷（2018），施普林格：施普林格商学院，771-798·Zbl 1418.68025号
[29] Orna Grumberg；弗朗西斯·尼西姆；Katz，Shmuel，通信过程的公平终止，（第三届分布式计算原理年度Acm研讨会论文集。第三届Acm分布式计算原理研讨会论文集，PODC’84。第三届分布式计算原理学术研讨会论文集。第三届ACM分布式计算原理年会。PODC’84，温哥华，英属哥伦比亚，1984年8月27日至29日（1984），计算机械协会：纽约计算机械协会，纽约），254-265·Zbl 0558.68013号
[30] Harper，Robert，《编程语言实用基础》（2016年3月），剑桥大学出版社：剑桥大学出版社，纽约，xvii+494 pp·兹比尔1347.68001
[31] Hennessy，M.，《过程的同步和异步实验》，Inf.Control，59，36-83（1983）·Zbl 0544.68028号
[32] Matthew Hennessy，公平异步通信过程的代数理论，Theor。计算。科学。，49, 121-143 (1987) ·Zbl 0612.68026号
[33] Henry，G.J.，《UNIX系统：公平共享调度器》，美国电话电报公司贝尔实验室技术期刊，6318455-1857（1984）
[34] Hoare，C.A.R.，《通信顺序过程》（1985），英国普伦蒂斯·霍尔国际有限公司：英国普伦提斯·霍尔国际公司，英国伦敦，viii+256 pp·Zbl 0637.68007号
[35] 本田，科海，二元交互类型，（Best，Eike，CONCUR’93。第四届并行理论国际会议。1993年8月。第四届并行理论国际会议，德国希尔德斯海姆，1993年8月23日至26日。1993年8月。第四届并行理论国际会议。1993年8月。第四届并发理论国际会议，德国希尔德斯海姆，1993年8月23日至26日，《计算机科学讲义》，第715卷（1993），柏林-海德堡：柏林-海德堡-柏林），509-523·Zbl 0939.68642号
[36] 道格拉斯·豪（Douglas J.Howe），《证明函数编程语言中互模拟的同余性》，《Inf.Compute》。，124, 103-112 (1996) ·Zbl 0853.68073号
[37] 亨格福德，托马斯·W·，《代数》，《数学研究生课本》，第73卷（1974年），斯普林格·弗拉格纽约公司，xxiii+502页·Zbl 0293.12001号
[38] 巴特·雅各布斯；Rutten，Jan，《（co）代数和（co）归纳法导论》（An introduction to（co）algebration and（co）induction），（Sangiorgi，Davide；Rutten（Jan），《模拟和归纳高级专题》（Advanced Topics in Bisimulation and Coinduction），剑桥理论计算机科学丛书，第52卷（2012），剑桥大学出版社：剑桥大学出版社，英国剑桥）， 38-99 ·Zbl 1285.68105号
[39] Ryan Kavanagh，《递归会话类型过程的基于通信的语义》（2021年9月30日），宾夕法尼亚州匹兹堡：卡内基梅隆大学计算机科学系，x+313 pp。
[40] Ryan Kavanagh，《亚结构观察通信语义学》，（Dardha，Ornela；Rot，Jurriaan，Proceedings.第27届并发表达性国际研讨会和第17届结构操作语义学研讨会合并。EXPRESS/SOS 2020（在线，2020年8月31日）。诉讼程序。第27届并发表达性国际研讨会和第17届结构化操作语义学研讨会合并。EXPRESS/SOS 2020（在线，2020年8月31日），《理论计算机科学电子论文集》，第322卷·兹布尔07453964
[41] 温·科克；蒙泰西（Fabrizio Montesi）；马可·佩雷索蒂，迟到总比不到好。经典过程的完全抽象语义，Proc。ACM程序。Lang.，4，24，24（2019年）
[42] Kwiatkowska，M.Z.，公平观念调查，Inf.Softw。技术。，31, 371-386 (1989)
[43] 奥里·拉哈夫（Ori Lahav），《让弱记忆模型公平化》（Making weak memory models fair）（2020年12月2日）
[44] Lahiri，Shuvendu K.，《程序等效性》（Dagstuhl Seminar 18151），Dagstuhl Rep.，8（2018）
[45] Lamport，L.，《证明多进程程序的正确性》，IEEE Trans。柔和。工程师，SE-3，125-143（1977）·兹比尔0349.68006
[46] 莱曼，D。；普努利，A。；Stavi，J.，《公正、正义和公平：同时终止的伦理》，（Shimon，Even；Kariv，Oded，Automata，《语言和编程》，第八届国际自动化学术讨论会，语言和编程，ICALP’81（Acre（Akko））。自动机、语言和编程。第八届国际自动化、语言和编程学术讨论会。1981年7月13日至17日，以色列，ICALP’81（阿克里）。自动机、语言和编程。第八届国际自动化、语言和编程学术讨论会。ICALP’81（英亩（阿克科）。自动机、语言和编程。第八届国际自动化、语言和编程学术讨论会。ICALP’81（Acre（Akko），以色列，1981年7月13日至17日，计算机科学讲义，第115卷（1981），Springer-Verlag:Springer-Verlag Berlin，Heidelberg），264-277·Zbl 0468.68026号
[47] Leu，D.，Petri网各种公平概念之间的相互关系，（第31届中西部电路与系统研讨会，第31届西部电路与系统会议，密苏里州圣路易斯，1988年8月9日至12日（1988），IEEE计算机社会出版社）
[48] 罗宾·米尔纳，《通信系统的微积分》，《计算机科学讲义》，第92卷（1980年），《斯普林格·弗拉格：斯普林格尔·弗拉格·柏林》，海德堡，vi+171页·Zbl 0452.68027号
[49] 罗宾·米尔纳（Milner，Robin），《沟通与并发》（1989），普伦蒂斯·霍尔国际（英国）有限公司：普伦蒂斯霍尔国际（英格兰）有限公司，英国Hemel Hempstead，ix+260 pp·Zbl 0683.68008号
[50] Milner，Robin，类型λ-演算的完全抽象模型，Theor。计算。科学。，4, 1-22 (1977) ·Zbl 0386.03006号
[51] 罗宾·米尔纳（Robin Milner）；约阿希姆·帕罗；Walker，David，《移动进程演算》，I，Inf.Compute。，100，1-40（1992年）·Zbl 0752.68036号
[52] 罗宾·米尔纳（Robin Milner）；约阿希姆·帕罗；David Walker，移动进程演算，II，Inf.Compute。，100, 41-77 (1992) ·Zbl 0752.68037号
[53] 米尔纳，罗宾；Sangiorgi，David，Barbed bisimulation，（Kuich，Werner，Automata，语言与编程。第19届国际自动化学术讨论会，语言与程序。第19次国际自动化学术会议，语言与规划，奥地利维也纳，1992年7月13日至17日。自动机、语言和编程。第19届国际自动化、语言和编程学术讨论会。自动机、语言和编程。第19届国际自动化、语言和编程学术讨论会，1992年7月13日至17日，奥地利维也纳，计算机科学讲义，第623卷（1992），斯普林格·弗拉格：斯普林格尔·弗拉格柏林，海德堡），685-695·兹比尔1425.68298
[54] Montesi，Fabrizio，《经典高阶过程》，（Bouajjani，Ahmed；Silva，Alexandra，《分布式对象、组件和系统的形式化技术》。IFIP WG6.1分布式对象、部件和系统形式化技术国际会议。FORTE 2017。分布式对象、组件和系统的形式化技术。IFIP WG6.1分布式对象、组件和系统形式化技术国际会议。2017年6月19日至22日，瑞士诺伊赫泰尔，FORTE 2017。分布式对象、组件和系统的形式化技术。IFIP WG6.1分布式对象、组件和系统形式化技术国际会议。FORTE 2017。分布式对象、组件和系统的形式化技术。IFIP WG6.1分布式对象、组件和系统形式化技术国际会议。2017年6月19日至22日，《FORTE 2017》，瑞士诺伊查特，计算机科学讲义，第10321卷（2017），国际信息处理联合会。施普林格国际出版公司：国际信息处理联合会。Springer International Publishing AG Cham，Switzerland），171-178，短文·Zbl 1489.68165号
[55] 蒙泰西（Fabrizio Montesi）；马可·佩雷索蒂（Marco Peressotti），《线性逻辑、π演算及其元理论：作为过程的证明食谱》（2021年6月22日）
[56] 斯特凡·穆勒（Stefan K.Muller）。；Acar，Umut A。；Harper，Robert，《竞争平行性：正确处理优先级》，Proc。ACM程序。Lang.，295（2018）
[57] 斯特凡·穆勒（Stefan K.Muller）。；萨姆·韦斯特里克；Acar，Umut A.，《响应并行中的公平性》，Proc。ACM程序。语言，3，81（2019）
[58] Park，David，弱公平迭代的谓词变换器，RIMS Kókyóroku Bessatsu，454，211-228（1982），另见[67]，HDL:243/103001
[59] Park，David，《公平并行的语义》（Dines，Björner，《抽象软件规范》，冬季学校（丹麦技术大学，哥本哈根，1979年1月22日至2月2日）。抽象软件规范。抽象软件规范，冬季学校（丹麦技术大学，哥本哈根，1979年1月22日至2月2日），计算机科学讲义，第86卷（1980年），Springer-Verlag:Springer-Verlag Berlin，Heidelberg）·Zbl 0456.68028号
[60] Pérez，Jorge A.，基于会话并发的线性逻辑关系和观测等价性，Inf.Comput。，239254-302（2014）·Zbl 1309.68141号
[61] Pérez，Jorge A.，基于会话的并发的线性逻辑关系，（Seidl，Helmut，Programming Languages and Systems），第21届欧洲编程研讨会，ESOP 2012。编程语言和系统。2012年3月24日至4月1日，爱沙尼亚塔林，第21届欧洲规划研讨会，2012年ESOP。编程语言和系统。第21届欧洲编程研讨会，ESOP 2012。编程语言和系统。第21届欧洲编程研讨会，2012年3月24日至4月1日，爱沙尼亚塔林，2012年ESOP，计算机科学讲义，第7211卷（2012），斯普林格·弗拉格：斯普林格尔·弗拉格柏林，海德堡），539-558·Zbl 1352.68189号
[62] Peterson、James L.、Petri Nets、ACM Compute。调查。，9, 223-252 (1977) ·Zbl 0357.68067号
[63] Petri，C.A.，《一般网络理论导论》（网络理论与应用，过程与系统的一般网络理论高级课程，网络理论和应用，过程和系统的一般网理论高级课程），德意志联邦共和国汉堡，1979年10月8日至19日。网络理论与应用。过程和系统的一般网络理论高级课程。网络理论与应用。过程和系统的一般网络理论高级课程，德意志联邦共和国汉堡，1979年10月8日至19日，计算机科学讲义，第84卷（1980），斯普林格·弗拉格：斯普林格尔·弗拉格-柏林，海德堡），1-19·Zbl 0434.68040号
[64] 弗兰克·芬宁（Frank Pfenning）；Dennis Griffith，Polarized substructure session types，（Pitts，Andrew，Foundations of Software Science and Computation Structures.第18届软件科学和计算结构基础国际会议，FoSSaCS 2015。软件科学和计算结构基础。第18届软件科学和计算结构基础国际会议。FoSSaCS 2015，英国伦敦，2015年4月11日至18日。软件科学和计算结构基础。第18届软件科学和计算结构基础国际会议。FoSSaCS 2015。软件科学和计算结构基础。第18届软件科学和计算结构基础国际会议。FoSSaCS 2015，英国伦敦，2015年4月11日至18日，计算机科学讲义，第9034卷（2015），Springer-Verlag GmbH：Springer-Verlag GmbH Berlin，Heidelberg），3-32·Zbl 1459.68042号
[65] Pierce，Benjamin，类型与编程语言（2002），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥，xxi+623页·Zbl 0995.68018号
[66] Pitts，Andrew，Howe's method for high-order languages，（Sangiorgi，Davide；Rutten，Jan，Bisimulation and Coinduction Advanced Topics。Bisimulate and Coinducation Advanced Topics，Cambridge Tracts in Theory Computer Science，vol.52（2012），剑桥大学出版社：剑桥大学出版社，英国剑桥），197-232·Zbl 1285.68110号
[67] （第六届IBM计算机科学数学基础研讨会论文集：程序的逻辑方面，第六届IBMComputer科学数学基础讨论会论文集计算机科学，日本箱根，1981年5月25日至27日（1981年），公司与科学项目，IBM日本：公司与科学计划，IBM日本东京），431页。
[68] 普拉克斯马，克拉斯；Pfenning，Frank，伴随逻辑的消息传递解释，（Martins，Francisco；Orchard，Dominic，Proceedings：并发和通信cEntric软件的编程语言方法。并发和通信cEntric软件的编程语言方法（PLACE）。程序集：并发和通信cEntric软件的编程语言方法。并行通信编程语言方法cEntric软件（PLACES），捷克共和国布拉格，2019年4月7日。程序集：并发和通信cEntric软件的编程语言方法。并发和通信cEntric软件的编程语言方法（PLACES）。程序集：并发和通信cEntric软件的编程语言方法。并行和通信的程序设计语言方法cEntric软件（PLACES），捷克共和国布拉格，2019年4月7日，理论计算机科学电子期刊，第291卷（2019年4月2日），欧洲软件理论与实践联合会议，60-79·Zbl 1518.68237号
[69] 普拉克斯马，克拉斯；弗兰克·普芬宁，《伴随逻辑的传递信息解释》，J.Log。代数方法程序。，120, 100637 (2021) ·Zbl 1518.68237号
[70] 约翰·雷诺兹（John C.Reynolds），《程序设计语言理论》（1998），剑桥大学出版社：剑桥大学出版社，纽约，xii+500 pp·Zbl 0972.68507号
[71] Davide Sangiorgi，《在过程代数中表达移动性》。第一阶和高级范式（1992），爱丁堡大学，xii+206 pp.HDL:1842/6569
[72] Sangiorgi，Davide，《互模拟和共还原导论》（2012年8月），剑桥大学出版社：剑桥大学出版社，英国剑桥，xii+247 pp·Zbl 1252.68008号
[73] Simmons，Robert J.，《亚结构逻辑规范》（2012年11月14日），卡内基梅隆大学计算机科学系：计算机科学系，宾夕法尼亚州匹兹堡卡内基梅隆大学，xvi+300 pp。
[74] Sistla，Aravinda Prasad，分布式系统设计和验证中的理论问题（1983年7月），哈佛大学：哈佛大学剑桥，马萨诸塞州，v+140 pp。
[75] Szabo，M.E.，Polycategories，Commun。代数，3663-689（1975）·Zbl 0353.18008号
[76] Kaku Takeuchi；本田、Kohei；Kubo，Makoto，《一种基于交互的语言及其打字系统》（Costas，Halatsis；etal.，PARLE'94）。欧洲并行体系结构和语言。第六届国际PARLE会议。第94部分。欧洲并行体系结构和语言。第六届巴黎国际会议，1994年7月4日至8日，希腊雅典。第94部分。欧洲并行体系结构和语言。第六届国际PARLE会议。第94部分。欧洲并行体系结构和语言。第六届国际PARLE会议，希腊雅典，1994年7月4日至8日，《计算机科学讲义》，第10201卷（1994），柏林-海德堡：柏林-海德堡），398-413
[77] 彼得·蒂曼；Vasconcelos，Vasco T.，标签依赖会话类型，Proc。ACM程序。Lang.，467（2019）
[78] 汤姆森，本特，普通CHOCS。高阶过程的第二代演算，Acta Inform。，30，1-59（1993年）·Zbl 0790.68069号
[79] 贝尔纳多·托尼霍（Bernardo Toninho）；路易斯·凯雷斯（Luis Caires）；Pfenning，Frank，《高阶过程、函数和会话：一元集成》（Felleisen，Matthias；Gardner，Philippa，Programming Languages and Systems），第22届欧洲编程研讨会，ESOP 2013。编程语言和系统。第22届欧洲编程研讨会。2013年ESOP，意大利罗马，2013年3月16日至24日。编程语言和系统。第22届欧洲编程研讨会。2013年员工持股计划。编程语言和系统。第22届欧洲编程研讨会。2013年ESOP，意大利罗马，2013年3月16日至24日，《计算机科学讲义》，第7792卷（2013），斯普林格·弗拉格：斯普林格尔·弗拉格柏林，海德堡），350-369·Zbl 1381.68063号
[80] 贝尔纳多·托尼霍（Bernardo Toninho）；凯雷斯，路易斯；Pfenning，Frank，通过直觉主义线性类型理论的依赖会话类型（PPDP'11）。第13届ACM SIGPLAN国际声明性编程原则与实践研讨会。PPDP'11。PPDP'11。第13届ACM SIGPLAN国际声明性编程原则与实践研讨会。PPDP’11，丹麦欧登塞，2011年7月20日至22日（2011年），计算机械协会：纽约计算机械协会，161-172·Zbl 1350.68204号
[81] 贝尔纳多·托尼霍（Bernardo Toninho）；Yoshida，Nobuko，根据会话类型的过程，（Baier，Christel；Dal Lago，Ugo，软件科学和计算结构基础。第21届国际会议，FOSSACS 2018。软件科学和计算结构基础。第21届国际会议，2018年FOSSACS，希腊塞萨洛尼基，2018年4月14-20日。软件科学和计算结构基础。第21届国际会议，FOSSACS 2018。软件科学和计算结构基础。第21届国际会议，2018年FOSSACS，希腊塞萨洛尼基，2018年4月14日至20日，计算机科学讲义，第10803卷（2018），欧洲软件理论与实践联合会议，施普林格开放：欧洲软件理论和实践联合会，瑞士施普林格公开Cham），128-145·兹比尔1504.68149
[82] 贝尔纳多·托尼霍（Bernardo Toninho）；Yoshida，Nobuko，关于多态会话和功能。两种（完全抽象的）编码的故事，（Amal，Ahmed，《编程语言和系统》，第27届欧洲编程研讨会，2018年ESOP。编程语言和系统。第27届欧洲规划研讨会。2018年员工持股计划，希腊塞萨洛尼基，2018年4月14日至20日。编程语言和系统。第27届欧洲规划研讨会。2018年员工持股计划。编程语言和系统。第27届欧洲规划研讨会。2018年ESOP，希腊塞萨洛尼基，2018年4月14日至20日，计算机科学讲义，第10801卷（2018），施普林格：施普林格商学院，827-855·Zbl 1418.68068号
[83] Toninho，Bernardo Parente Coutinho Fernandes，基于会话的并发计算逻辑基础（2015年5月），新里斯本大学，xvii+178 pp。
[84] 菲利普·沃德勒（Philip Wadler），《提案作为会议》（Propositions as sessions），J.Funct。程序。，24, 384-418 (2014) ·Zbl 1307.68025号
[85] 吉田、Nobuko；本田、Kohei；Martin Berger，《线性与互模拟》，J.Log。代数程序。，72, 207-238 (2007) ·Zbl 1119.68131号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。