上下文无关进程论文

博弈理论在互模拟和模态μ-演算上的一些应用
论文摘要论文包括两部分内容,第一部分通过定义分解互模拟这个概念,对规范的(normed)上下文无关进程上的互模拟做了更为简单的有限刻画,并且对我们定义的分解互模拟这个概念进行了...