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

• 作者: 孙云 张帆 李舟军
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 两阶段提交协议 形式化 异步π-演算 互模拟
• 年，卷（期）: 2006,（11）
• 所属期刊栏目: 软件工程
• 页码范围: 268-271
• 页数: 4页
• 分类号: TP3
• 字数: 5418字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2006.11.076

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李舟军	北京航空航天大学计算机学院	136	2221	23.0	43.0
2	张帆	国防科技大学计算机学院	15	68	5.0	8.0
3	孙云	国防科技大学计算机学院	3	31	1.0	3.0