具有内部委派的全局类型-存档ouverte HAL
未经修订的条款 理论计算机科学 Anneée:2020年

具有内部委派的全局类型

Résumé

本文研究了一种新的多党会议计算委托形式。通常情况下，代表团允许一个会议参与者任命另一个会议的参与者代表她行事。这意味着授权本质上是一种会话间机制，需要会话交错。因此，委托超出了全局类型的描述能力，全局类型指定单个会话。因此，在存在委托的情况下，很难确保诸如死锁自由或锁自由之类的属性。在这里，我们采用了不同的授权观点，允许参与者在同一多方会议中相互授权任务。这样，委托发生在单个会话中（内部委托），并可能被其全局类型捕获。为了增加委托使用的灵活性，我们的演算使用连接通信，允许可选参与者参与分支选择。通过这些方式，我们能够表示有条件的授权。我们提出了一个基于具有内部委托的全局类型的会话类型系统，并表明它确保了多方会话的通常安全属性以及进度属性。

与葡萄园

信息无处不在
菲奇尔校长
小品小品
cdgh19.pdf（305.56 Ko） 特勒充电器
原籍 菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

伊利亚·卡斯特拉尼 : Connectez-vous浇注接触器le contributer

https://inria.hal.science/hal-02419937

Soumis le:mardi 7 janvier 2020-15:09:48

Dernière修改le:mardi 3 september 2024-13:56:20

Télé充电器倒可视化

日期和版本

哈尔-02419937， 版本1 (07-01-2020)

身份证明人

Citer公司

Ilaria Castellani、Mariangiola Dezani-Ciancaglini、Paola Giannini和Ross Horne。具有内部委派的全局类型。理论计算机科学2020年，807，第26页。⟨10.1016/j.tcs.2019.09.027⟩.⟨哈尔-02419937⟩

出口商

BibTeX公司 XML-TEI公司 都柏林核心元数据集 DC条款 尾注 数据引用

收藏

UNIV-RENNES1公司 印度 IRISA公司 INRIA2公司 UR1-数学STIC UR1-UFR-ISTIC UNIV-COTEDAZUR大学 UNIV-RENNES公司 UR1-数学编号
86 磋商
142 交易费用

海拔高度

合作伙伴

更多