排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
提出符号迁移图作为π-演算进程直观而高效的表示模型,并给出了符号迁移图我种版本的早操作语义,在此基础上定义了相应版本的早互模拟和观察同余。同时引入了符号观察图和符号同余图以及τ-循环和τ-边消去定理。最后给出了关于强/弱早互模拟等价和早观察同余的符号验证算法,并证明了其正确性。 相似文献
1