首页> 外文会议>Concurrency theory >Modelling IP mobility
【24h】

Modelling IP mobility

机译:建模IP移动性

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

摘要

We study a highly simplified version of proposals for mobility support in version 6 of Internet Protocols (IP).We concentrate on the issue of ensuring that messages to and from mobile agents are delivered without loss of ocnnectivity.We provide three models of increasingly ocmplex nature of a network of routers and ocmputing agents that are interconnected via the routers.Following a detailed analysis of the three models to extract invariant properties,we hsow that the three models are related by a suitable notion of equivalence baseded on barbde bisimulation.
机译:我们研究了Internet协议(IP)第6版中有关移动性支持的提议的高度简化版本。我们专注于确保往返移动代理的消息的传递不会丢失连通性。我们提供了三种日益复杂的模型在对通过路由器互连的路由器和占用代理网络进行详细分析之后,我们对这三个模型进行了分析,以提取不变性,因此,我们认为这三个模型是基于基于倒钩双仿真的适当等价概念相关的。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号