关于钝化和高阶交互的鉴别能力——Archive ouverte HAL Accéder directment au contenu公司
大会通讯 Anneée:2014年

论钝化与高阶相互作用的鉴别能力

Résumé

本文研究了高阶并发语言提供的辨别能力，并将这种能力与高阶顺序语言（la-lamda-calculus）和一阶并发语言（la-CCS）提供的区分能力进行了对比。我们关注的并发高阶语言是支持高阶通信的高阶pi-calculus（HOpi），以及具有钝化功能的HOpi扩展，这是一种简单的高阶结构，允许用户获得位置相关的过程行为。通过将一阶过程嵌入到各种语言中，然后检查在这些过程中产生的上下文等价性来进行比较。作为一阶过程，我们考虑普通标记转移系统（LTS）和反应概率标记转移系统。由此获得的RPLTS的分辨力层次比LTS的更精细。例如，在LTS情况下，在顺序语言中，通过扩展类型lambda-calculus的按调用名称和按调用值计算策略之间的差异，可以捕获并发钝化提供的额外辨别能力。

与葡萄园

形式的语言和语言 语言编程[cs.PL] 信息逻辑[cs.LO]
菲奇尔校长
小品小品
csllics2014.pdf（379.39 Ko） Télé充电器
原籍 菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

Vignudelli瓦莱里亚 : Connectez-vous浇注接触器le contributer

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

Soumis le:mercredi 3 décembre 2014-17:00:58

Dernière修改le:jeudi 14 décembre 2023-13:56:06

长期存档：lundi 9 mars 2015-05:51:32

Télé充电器倒可视化

日期和版本

hal-01089467， 版本1 (03-12-2014)

身份证明人

Citer公司

马可·贝尔纳多（Marco Bernardo）、大卫·桑吉奥吉（Davide Sangiorgi）、瓦莱丽亚·维格努德利（Valeria Vignudelli）。论钝化和高阶相互作用的辨别力。CSL-LICS’142014年7月，奥地利维也纳。⟨10.1145/2603088.2603113⟩。⟨哈尔-01089467⟩

出口商

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

收藏

印度 INRIA2公司
106 磋商
128 交易费用

海拔高度

合作伙伴

Gmail（Gmail） 乳臭虫 脸谱网 X（X） LinkedIn链接 更多