.png){kind=icon}
返回
On Asynchronous Multiparty Session Types for Federated Learning
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-11176-0_11.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文改进会话类型理论以支持实现联邦学习协议的建模与验证。为此，我们基于异步自底向上的会话类型方法，增加了对同时面向多个参与者的输入/输出操作的支持。我们进一步增强了类型纪律的灵活性，并通过引入适用于此场景的会话子类型关系，允许进行安全的过程替换。我们形式化证明了我们的会话类型系统的安全性、无死锁性、活性以及会话保真度性质。此外，我们强调了我们的会话类型系统的细微之处，其（与先前工作相比）揭示了安全性、活性与子类型关系灵活性之间的有趣相互作用和权衡。
Keyword:
Multiparty session types
Federated learning
pi-calculus
Type systems
期刊
T
IF:
0
论文数:
28
被引数:
0
机构
引用论文
.png){kind=icon}
Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PATDjukic, M.; Prokić, I.; Popovic, M.; Ghilezan, S.; Popovic, M.; Prokić, S. 联邦学习通用算法的正确编排：Python翻译到CSP及通过PAT的验证。Int. J. Softw. Tools Technol. Transf. 2025, 27, 21–34. [Google Scholar] [CrossRef]
PREAI
分享收藏
查看更多内容