逻辑刻画论文

高阶进程演算的互模拟理论和公理化的研究
论文摘要高阶进程演算,因为其很强的抽象能力和理论上的重要性,在进程演算领域一直得到广泛的关注,并成为描述和分析具有动态变换特性的内部连接结构的移动系统的有效数学工具。在本文中,...