移动进程演算相关论文
随着计算机技术和网络通信技术的高速发展,以并发性、分布性、实时性、异构性和互操作性等为主要特征的并发分布式系统已成为计算......
并发计算模型是理论计算机科学研究的重要领域之一.以π演算为代表的移动进程演算是目前并发理论的研究热点.互模拟等价定义是移动......
该文就移动进程演算中的弱开同余关系进行研究.文中考虑了一种简单的非确定性移动进程演算模型，证明了Milner的三条tau规则在有等名......
