【24h】

Application Modelling Based on Typed Resources

机译:基于类型化资源的应用程序建模

获取原文
获取原文并翻译 | 示例

摘要

We have developed a type system for the calculus of Safe Mobile Resources(SR), which is a variant of Mobile .Resources(MR). In this paper, we will show the expressive power of the calculus. Some examples will be examined to illustrate how to use the features in SR to model the usual distributed applications in a mobile or cooperative environment.
机译:我们已经为安全移动资源(SR)的演算开发了一种类型系统,它是Mobile .Resources(MR)的变体。在本文中,我们将展示微积分的表达能力。将检查一些示例,以说明如何使用SR中的功能为移动或协作环境中的常规分布式应用程序建模。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号