论文部分内容阅读
基于异步π-演算的两阶段提交协议的形式化描述和验证
【出 处】
:
国防科学技术大学
【发表日期】
:
2018年09期
其他文献