×
阿伦·阿斯拉纳吉奇;佩雷斯（Jorge A.Pérez）。;安达·阿梅利亚帕拉马里厄克

\（\pi\）-演算的最小会话类型。 （英语） Zbl 07825551号

Inf.计算。 297，文章ID 105148，67 p.（2024）.
摘要：会话类型是一种基于类型的方法，用于纠正消息传递程序。会话类型指定通道的协议为序列交易所。为了揭示基于会话的并发的基本概念，定义了之前的工作最小值会话类型（MST）是一种没有序列结构的会话类型公式，并显示了一个最小结果：每个具有标准会话类型的进程类型都可以使用MST转换为进程类型。对于一个高阶会话（pi）演算，这种最小结果得到了证明，其中的值是抽象的（从名称到进程的函数）。
在本文中，我们研究了MST，但现在对于session（pi）-calculation（一阶）语言，在该语言中，值是名称，并且针对其会话类型进行了更广泛的研究。我们首先证明了通过组合已知结果可以获得一个新的极小性结果。然后，我们对这个新的极小性结果进行了优化，并证明了一个动态正确性保证。

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
PDF格式BibTeX公司 XML格式引用
\textit{A.Arslanagić}等人，《Inf.Compute》。297，文章ID 105148，67 p.（2024；Zbl 07825551）
全文： 内政部 arXiv公司
OA许可证

参考文献：

[1] 砷，A。；Palamariuc，A。；Pérez，J.A.，π-演算的最小会话类型，（Veltri，N.；Benton，N.，Ghilezan，S.，PPDP 2021:第23届声明式编程原理与实践国际研讨会。PPDP 2021:2021：第23届国际声明式编程原则与实践研讨会，爱沙尼亚塔林，2021年9月6-8日，ACM），12:12:15
[2] 砷，A。；佩雷斯，J.A。；Frumin，D.，会话类型的最小公式，2023，CoRR
[3] 砷，A。；佩雷斯，J.A。；Voogd，E.，最小会话类型（pearl），（Donaldson，A.F.，第33届面向对象编程欧洲会议，ECOOP 2019。第33届欧洲面向对象编程会议，2019年7月15日至19日，英国伦敦，ECOOP 2019。第33届欧洲面向对象编程会议，2019年ECOOP。第三十三届面向对象编程欧洲会议，2019年7月15日至19日，2019，英国伦敦，LIPIcs，第134卷，2019（Schloss Dagstuhl-Leibniz Zentrum für Informatik），23:1-23:28
[4] Dardha，O.，《重温递归会话类型》（Carbone，M.，《行为类型第三次研讨会论文集》，BEAT 2014。《行为类型第三次研讨会论文集》，BEAT 2014，意大利罗马，2014年9月1日。《行为类型第三次研讨会论文集》，BEAT 2014。行为类型第三次研讨会论文集，BEAT 2014，意大利罗马，2014年9月1日，EPTCS，第162卷，2014年），27-34
[5] O.达达。；贾奇诺，E。；Sangiorgi，D.，《重新审视会话类型》（2012年PPDP会议记录，ACM），139-150
[6] O.达达。；贾奇诺，E。；Sangiorgi，D.，会话类型重访，Inf.Comput。，256, 253-286, 2017 ·Zbl 1376.68099号
[7] Demangeon，R。；Honda，K.，《线性类型的亚型像素中的完全抽象》（CONCUR 2011年公报）。程序。CONCUR 2011，LNCS，第6901卷，2011，Springer），280-296·Zbl 1343.68165号
[8] 盖伊，S.J。；Gesbert，N。；Ravara，A.，会话类型作为通用过程类型，（Borgsteröm，J.；Crafa，S.，《第21届并发表达性国际研讨会和第11届结构化操作语义研讨会论文集》，EXPRESS 2014，第11届结构操作语义研讨会，SOS 2014。2014年EXPRESS第21届并发表达性国际研讨会和第11届结构化操作语义学研讨会合编，2014年SOS第11届结构性操作语义学家研讨会，2014年9月1日，意大利罗马。2014年EXPRESS第21届并发表达性国际研讨会和2014年SOS第11届结构化操作语义研讨会论文集。《第21届并发表达性国际研讨会和第11届结构化操作语义研讨会论文集》，EXPRESS 2014，第11届结构性操作语义研讨会，SOS 2014，意大利罗马，2014年9月1日，EPTCS，第160卷，2014），94-110·Zbl 1467.68130号
[9] Honda，K.，二元交互类型，（Best，E.，CONCUR’93。CONCUR’93，LNCS，第715卷，1993年，Springer-Verlag），509-523
[10] 本田，K。；瓦斯科塞洛斯，V.T。；Kubo，M.，《结构化通信编程的语言原语和类型规程》（ESOP’98）。ESOP’98，LNCS，第1381卷，1998年，施普林格），22-138
[11] 小林，N.，并发程序的类型系统，（Aichernig，B.K.；Maibaum，T。S.E.，《十字路口的形式方法》。从万灵药到基础支持，联合国大学/国际软件技术研究所十周年座谈会，联合国大国际软件技术学院。十字路口的形式方法。2002年3月18日至20日，葡萄牙里斯本，联合国大学/国际软件技术研究所十周年学术讨论会，《从万灵药到基础支持》，修订文件。十字路口的形式方法。从Panacea到基础支持，联合国大学/理工学院十周年学术讨论会，联合国大学国际软件技术研究所。十字路口的形式方法。《从万灵药到基础支持》，联合国大学/信息技术研究所十周年学术讨论会，联合国国际软件技术研究所，葡萄牙里斯本，2002年3月18日至20日，修订论文，计算机科学讲稿，第2757卷，2002年，斯普林格），439-453·Zbl 1274.68076号
[12] 小林，N。；皮尔斯，公元前。；特纳，D.N.，《线性与像素》，美国医学会译。程序。语言系统。，1999年9月21日、5日、914-947日
[13] 库扎帕斯，D。；佩雷斯，J.A。；Yoshida，N.，《关于高阶会议过程的相对表现力》，（Thiemann，P.，《编程语言和系统——第25届欧洲编程研讨会》，2016年ESOP，作为欧洲软件理论与实践联合会议的一部分，2016年ETAPS。编程语言与系统——2016年第25届欧洲编程研讨会，ESOP，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2016，荷兰埃因霍温，2016年4月2-8日，会议记录。编程语言与系统-第25届欧洲编程研讨会，ESOP 2016，作为欧洲软件理论与实践联席会议的一部分举行，ETAPS 2016。编程语言与系统-第25届欧洲编程研讨会，ESOP 2016，作为欧洲软件理论与实践联席会议的一部分举行，ETAPS 2016，荷兰埃因霍温，2016年4月2日至8日，《计算机科学讲义》，第96322016卷，施普林格），446-475·Zbl 1335.68174号
[14] 库扎帕斯，D。；佩雷斯，J.A。；吉田，N.，《高阶会话过程的特征互模拟》，《信息学报》。，54, 3, 271-341, 2017 ·Zbl 1380.68297号
[15] 库扎帕斯，D。；佩雷斯，J.A。；Yoshida，N.，《关于高阶会话过程的相对表现力》，Inf.Compute。，268, 2019 ·Zbl 1430.68163号
[16] 库扎帕斯，D。；Yoshida，N.，Globally govered session semantics，日志。方法计算。科学。，10, 4, 2014 ·Zbl 1448.68344号
[17] 库扎帕斯，D。；吉田，N。；胡，R。；Honda，K.，《异步事件会话语义》，数学。结构。计算。科学。，2015
[18] Parrow，J.，《三重奏协奏》（Plotkin，G.D.；Stirling，C.；Tofte，M.，《证明、语言与互动》，《罗宾·米尔纳荣誉论文》，2000年，麻省理工学院出版社），623-638，在线版，1996年7月22日，可在
[19] Sangiorgi，D.，《在过程代数中表达移动性：一阶和高阶范式》，1992年，爱丁堡大学，博士论文
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。