巴勃罗·加拉尔达;爱德华多·博内利;阿德里亚娜·孔皮诺尼;马里亚纽拉州Dezani-Ciancaglini 带通信接口的盒装环境。 （英语） Zbl 1125.68081号 数学。结构。计算。科学。 17，第4期，587-645（2007）. 摘要：我们定义了BACI（带通信接口的装箱环境），这是一种具有灵活通信策略的环境演算。传统上，类型化环境计算具有固定的通信策略，确定可以与父环境交换的信息类型，即使移动性会改变父环境。BACI取消了这一限制，允许在计算过程中与不同的父节点使用不同的通信策略。此外，BACI通过明确环境之间的沟通渠道，将沟通与流动分开。与其他类型的环境计算不同，在这些计算中，通信策略是全局的，BACI中的每个环境都配备了控制其与父环境和子环境进行信息交换的通信策略描述。环境因素的通信策略在其移动时会增加：更准确地说，当环境因素进入另一个环境因素时，进入环境因素和宿主环境因素可以交换其通信端口，并就要交换的信息类型达成一致。此信息在两种环境中都会本地记录。我们证明了BACI的类型稳健性，证明了它满足主题约简属性，并利用标记转换系统研究了它的行为语义。 引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：演算 PDF格式BibTeX公司 XML格式引用 \textit{P.Garralda}等人，《数学》。结构。计算。科学。17，第4号，587--645（2007；Zbl 1125.68081） 全文： 内政部 参考文献： [1] 内政部：10.1145/596980.596981·数字对象标识代码：10.1145/596980.596981 [2] 内政部：10.1023/B:JARS.0000021016.61054.3b·Zbl 1069.68076号 ·doi:10.1023/B:JARS.0000021016.61054.3b [3] 内政部：10.1006/inco.2001.3089·Zbl 1009.68081号 ·doi:10.1006/inco.2001.3089 [4] DOI:10.1016/j.tcs.2003.12.024·Zbl 1071.68009号 ·doi:10.1016/j.tcs.2003.12.024 [5] 数字对象标识码：10.1017/S096012902003742·兹比尔1085.68099 ·doi:10.1017/S096012902003742 [6] 内政部：10.1016/j.ic.2005.06.002·doi:10.1016/j.ic.2005.06.002 [7] 内政部：10.1145/1119479.1119482·数字对象标识代码：10.1145/1119479.1119482 [8] Bugliesi，《计算机语言》28，第61页–（2002年） [9] DOI:10.1017/095679680400543x·Zbl 1077.68605号 ·网址：10.1017/S095679680400543X [10] 内政部：10.1109/32.685256·doi:10.1109/32.685256 [11] DOI:10.1016/j.ic.2004.11.005·Zbl 1101.68060号 ·doi:10.1016/j.ic.2004.11.005 [12] DOI:10.1016/S0304-3975（99）00231-5·Zbl 0954.68108号 ·doi:10.1016/S0304-3975（99）00231-5 [13] 卡德利，《信息与计算》177第160页–（2002年）·doi:10.1016/S0890-5401（01）93121-9 [14] 内政部：10.1145/963778.963781·doi:10.1145/963778.963781 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。