使用π-演算验证两阶段提交协议

摘要：

两阶段提交协议是最简单且最常用的原子提交协议,该协议使分布式事务的提交具有原子性和持久性.在本文中,我们使用π-演算对两阶段提交协议进行描述,并对其正确性进行了证明,进一步体现了π-演算对于描述进程通信及并行性的独特优势.

关键词：两阶段提交协议、形式化、异步π-演算、互模拟

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金90104026;60473057

在线出版日期：2006-12-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：268-271