安全Dpi swMATH ID: 1989 软件作者: 轩尼诗,马修;朱利安·拉特克(Julian Rathke);吉田、Nobuko 描述: SafeDpi:一种控制移动代码的语言safeDpi是Picalculus的分布式版本,其中的进程位于动态创建的站点上。参数化代码可以使用所谓的端口在站点之间发送,这些端口本质上是Picalculus通信信道的高阶版本。主机位置可以通过只接受符合与传入端口关联的给定类型的代码来保护自己。我们为这些端口定义了一个复杂的静态类型系统,它限制了传入代码启动的任何进程的功能和访问权限。依赖类型和存在类型用于增加灵活性,允许这些已启动进程的行为(编码为进程类型)取决于主机对传入代码的实例化。我们还表明,使用基于类型化动作的互刺激,自然情境定义的行为等价可以被共同表征。特征化基于测试环境获取知识的思想,并明确了在这种高度受限的分布式代码语言中确定等价性的一些微妙之处。 主页: https://www.scss.tcd.ie/Matthew.Hennessy/pubs/sdpifinal.pdf 相关软件: 乔坎尔;百万焦耳;Jif公司;轻量级Java;旋风;XPath(XPath);X减少;XPi公司;MetaOCaml公司;皮杜克;OCaml公司;维斯塔;Freshml公司;ULM公司;皮克特;TALx86;平面图;琳达;ArchJava建筑 引用于: 13文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 SafeDpi:一种控制移动代码的语言(扩展抽象)。 Zbl 1126.68501号马修·轩尼诗;朱利安·拉特克;吉田、Nobuko 2004 全部的 前5名27位作者引用 三 轩尼诗,Matthew C.B。 三 朱利安·拉特克 三 阿兰·施密特 三 Jean-Bernard斯特凡尼 三 吉田、Nobuko 2 塞尔盖·伦格利特 2 弗朗西斯科·扎帕·纳德利 1 梅尔·艾伦·威廉姆斯 1 米歇尔·布格列西 1 朱塞佩·卡斯塔尼亚 1 达里奥·科拉佐 1 西尔维亚·克拉法 1 马里亚纽拉州Dezani-Ciancaglini 1 菲利普·安妮·加德纳 1 西尔维娅·吉勒赞 1 皮埃尔·哈布泽特 1 塞缪尔·希姆 1 斯维特拉纳·雅克西奇 1 詹姆斯·J·莱弗。 1 马其顿,达米亚诺 1 塞尔吉奥·马菲斯 1 马西莫·梅罗 1 约万卡·潘托维奇 1 彼得·休厄尔 1 维克托·瓦菲亚迪斯 1 维泰克,简 1 基思·旺斯堡 全部的 前5名6篇连载文章中引用 三 信息与计算 1 信息学学报 1 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 1 函数编程杂志 1 逻辑与代数程序设计杂志 在2个字段中引用 13 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文