Towards a behavioural theory of access and mobility control in distributed systems
Towards a behavioural theory of access and mobility control in distributed systems
复制标题
分布式系统中访问和移动控制的行为理论
DOI：
--
复制
发表时间：
2003
影响因子：
1.1
通讯作者：
J. Rathke
中科院分区：
文献类型：
--
作者：
M. Hennessy;Massimo Merro;J. Rathke
我们定义了一个类型的互模拟等价的语言DPI，分布式版本的π演算，其中进程可以动态创建的位置之间迁移。它考虑了资源访问策略，这些策略可以使用一种新形式的动态能力类型在DPI中实现。等价，基于配置之间的类型化动作，证明了它是fullyabstract相对于一个自然的分布式版本的上下文等价。
We define a typed bisimulation equivalence for the language Dpi, a distributed version of the π-calculus in which processes may migrate between dynamically created locations. It takes into account resource access policies, which can be implemented in Dpi using a novel form of dynamic capability types. The equivalence, based on typed actions between configurations, is justified by showing that it is fullyabstract with respect to a natural distributed version of a contextual equivalence.