数据传送进程相关论文
本文提出了递归数据传送进程互模拟的证明系统,并证明了其可靠性和相对于数据推理的完备性,其中关键的推理规则是唯一不动点归纳法,这......
本文提出数据传送进程的符号迁移语义,引入符号互模拟的概念,证明了两个进程在传统意义下互模拟当且仅当它们符号互模拟。我穷域上的......