Multicompatibility for Multiparty-Session Composition
Multicompatibility for Multiparty-Session Composition
复制标题
多方会话组合的多重兼容性
DOI：
10.1145/3610612.3610614
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Barbanera F
中科院分区：
文献类型：
--
作者：
Barbanera F
模块化方法的开发和验证的并发/分布式系统越来越相关的今天。我们调查的同时组成的多个系统在多方会话类型的设置，工作在合适的概念接口政策和多兼容性。由此产生的方法是保守的（它只做严格需要的更改），灵活的（任何系统都可以被视为潜在的开放）和安全的（相关的通信属性，例如锁自由，通过组合来保留）。我们通过证明可类型性的保持来获得安全性。我们还提供了一个完善的类型推理算法。
Modular methodologies for the development and verification of concurrent/distributed systems are increasingly relevant nowadays. We investigate the simultaneous composition of multiple systems in a multiparty-session-type setting, working on suitable notions of interfacing policy and multicompatibility. The resulting method is conservative (it makes only the strictly needed changes), flexible (any system can be looked at as potentially open) and safe (relevant communication properties, e.g. lock-freedom, are preserved by composition). We obtain safety by proving preservation of typability. We also provide a sound and complete type inference algorithm.
登录
查看更多内容
DOI：
10.1145/1328438.1328472
发表时间：
2008-01
期刊：
--
影响因子：
--
作者：
Kohei Honda;N. Yoshida;Marco Carbone
通讯作者：
Kohei Honda;N. Yoshida;Marco Carbone
Zooid：用于认证多方计算的 DSL：从机械化元理论到认证多方流程
DOI：
10.1145/3453483.3454041
发表时间：
2021
期刊：
--
影响因子：
--
作者：
Castro-Perez D
通讯作者：
Castro-Perez D
DOI：
10.1007/11799573_25
发表时间：
2006
期刊：
--
影响因子：
--
作者：
Luke Simon;A. Mallya;A. Bansal;G. Gupta
通讯作者：
G. Gupta
DOI：
10.3233/fi-2015-1252
发表时间：
2015
期刊：
Fundam. Informaticae
影响因子：
--
作者：
D. Ancona;A. Dovier
通讯作者：
A. Dovier
DOI：
--
发表时间：
2021
期刊：
arXiv.org
影响因子：
--
作者：
I. Castellani;M. Dezani;P. Giannini
通讯作者：
P. Giannini