异步π演算相关硕士博士期刊学术论文 - 搜论网

异步π演算相关论文

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

两阶段提交协议是最简单且最常用的原子提交协议，该协议使分布式事务的提交具有原子性和持久性。在本文中，我们使用π演算对两阶段提......

期刊

两阶段提交协议形式化异步π演算互模拟 2PCP Formalization Asynchronous π-calculus Bisimulation

同步和异步π演算的表达能力研究

以π演算为框架,通过研究同步和异步通信机制,澄清了各个算子对语言表达能力的影响.给出了一个编码,它以同步π演算作为编码的源语......

期刊

同步π演算异步π演算编码表达能力语言表达能力 Π演算异步同步通信机制复制算子 synchronous pi-calculus asynchro

看过本文同时还关注