计算机科学 ›› 2006, Vol. 33 ›› Issue (11): 268-271.
• 计算机网络与信息安全 • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 两阶段提交协议是最简单且最常用的原子提交协议，该协议使分布式事务的提交具有原子性和持久性。在本文中，我们使用π演算对两阶段提交协议进行描述，并对其正确性进行了证明，进一步体现了π演算对于描述进程通信及并行性的独特优势。
关键词: 两阶段提交协议 形式化 异步π演算 互模拟
Abstract: The two phase commit protocol is the simplest and most popular atomic commitment protocol （ACP）. It makes the transaction commitment in the distributed systems have atomicity and durability. In this paper, we use the π-calculus to describe the two phase c
Key words: 2PCP, Formalization, Asynchronous π-calculus,Bisimulation
. 使用π-演算验证两阶段提交协议[J]. 计算机科学, 2006, 33(11): 268-271. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I11/268
Cited
首页