| 使用π-演算验证两阶段提交协议 |
| |
| 引用本文： | 张帆,李舟军,孙云. 使用π-演算验证两阶段提交协议[J]. 计算机科学, 2006, 33(11): 268-271 |
| |
| 作者姓名： | 张帆 李舟军 孙云 |
| |
| 作者单位： | 1. 国防科技大学计算机学院,长沙,410073
2. 北京航空航天大学计算机学院,北京,100083 |
| |
| 摘 要： | 两阶段提交协议是最简单且最常用的原子提交协议,该协议使分布式事务的提交具有原子性和持久性。在本文中,我们使用π-演算对两阶段提交协议进行描述,并对其正确性进行了证明,进一步体现了π-演算对于描述进程通信及并行性的独特优势。
|
| 关 键 词： | 两阶段提交协议 形式化 异步π-演算 互模拟 |
The Two Phase Commit Protocol in π-Calculus |
| |
| ZHANG Fan,LI Zhou-Jun,SUN Yun. The Two Phase Commit Protocol in π-Calculus[J]. Computer Science, 2006, 33(11): 268-271 |
| |
| Authors: | ZHANG Fan LI Zhou-Jun SUN Yun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
