...
首页> 外文期刊>Journal of Zhejiang University. Science, A >Using location types to control interferences in mobile resources
【24h】

Using location types to control interferences in mobile resources

机译:使用位置类型来控制移动资源的干扰

获取原文
           

摘要

This paper presents a type System, called Location System (L-S), to control the interferences in the ambient-like calculi. The L-S allows well-behaved (non-interfering) processes to run in parallel if they do not access shared location during their execution life cycle. This approach is designed for a variant of mobile Ambient (MA), called Safe Mobile Resources (SR), but it can be also used in other ambient-like calculi which are also discussed in this paper.
机译:本文介绍了一个称为位置系统(L-S)的类型系统,以控制环境类似的Calculi中的干扰。如果在执行生命周期期间不访问共享位置,L-S允许良好的行为(不干涉)进程并行运行。这种方法专为移动环境(MA)的变体而设计,被称为安全的移动资源(SR),但也可以在本文中还讨论的其他环境计算中。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号