互模拟等价论文

多目Pi演算互模拟等价自动验证研究
论文摘要本文通过对多目Pi演算的强开互模拟等价自动化验证算法的研究，针对已有算法中存在大量的递归调用、冗余数据、执行效率低等问题，建立了一套全新的数据结构用来表示多目Pi演算算...