高阶进程演算的互模拟理论和公理化的研究 

高阶进程演算,因为其很强的抽象能力和理论上的重要性,在进程演算领域一直得到广泛的关注,并成为描述和分析具有动态变换特性的内部连接结构的移动系统的有效数学工具。在本文中,我们对高阶进程演算就如下几方面进行了研究。 ·带有mismatch的高阶π演算:互模拟理论;带有mismatch的高阶π演算的线性片段...
上海交通大学  博士论文  2008年 下载次数(338)| 被引次数(4)