移动进程演算相关论文
The Internet has grown substantially in recent years,and an increasing number of applications are now being developed to......
近年来,随着计算机科学技术,特别是Internet技术的飞速发展,软件运行的平台正由传统的静态封闭走向现在的动态开放,软件的计算模式也由......
随着计算机技术和网络通信技术的高速发展,以并发性、分布性、实时性、异构性和互操作性等为主要特征的并发分布式系统已成为计算......
本文对有限状态自动机的移动进程演算模拟进行了研究.文章从一个有趣的角度,间接地研究了这一问题.主要通过演算和其子集的讨论,借......
并发计算模型是理论计算机科学研究的重要领域之一.以π演算为代表的移动进程演算是目前并发理论的研究热点.互模拟等价定义是移动......
该文就移动进程演算中的弱开同余关系进行研究.文中考虑了一种简单的非确定性移动进程演算模型,证明了Milner的三条tau规则在有等名......