基于文档标注的并发控制方法

在不可忽略的网络延迟的情况下 ,由于 CSCW系统的高响应度的要求 ,系统需要使用完全复制分布式结构 .这是对并发控制的严峻挑战 ,从而也产生了新的问题 ,如违背操作意愿 .基于文档标注的并发控制方法 ,引入状态向量 ,不仅符合整体一致性模型 ,而且易于理解 ,并且效率较高 .

移动IPv6的快速切换的代数验证

利用π演算理论分析移动通信系统,可以严格而规范地描述其协议过程,并给予代数验证。文章基于π演算理论来分析移动IPv6的快速切换机制。首先建立了切换的π演算模型,然后通过推导,证明了模型的一致性。这将为移动IPv6的快速切换的研究提供一定的参考和分析价值。