符号互模拟相关论文
计算的模型一般可以分为两类,一类是顺序计算,一类是并行与并发计算.以π-演算为代表的移动进程演算是描述并发系统的一种理论模型......
基于进程演算的程序语言设计与实现能够将并发理论的语法和语义理论研究真正应用于实践，并从根本上用高效的并发计算去替代传统的顺......
带赋值符号迁移图(STGA)是刻画一般传值进程的抽象计算模型,在STGA上可以用"on-the-fly"实例化算法来验证传值进程之间的互模拟等......
