符号互模拟相关论文
计算的模型一般可以分为两类,一类是顺序计算,一类是并行与并发计算.以π-演算为代表的移动进程演算是描述并发系统的一种理论模型......
基于进程演算的程序语言设计与实现能够将并发理论的语法和语义理论研究真正应用于实践，并从根本上用高效的并发计算去替代传统的顺......
带赋值符号迁移图(STGA)是刻画一般传值进程的抽象计算模型,在STGA上可以用"on-the-fly"实例化算法来验证传值进程之间的互模拟等......
为了解决进程接收具体信息的输入所带来的无穷种迁移问题,采用一种称为"符号化"的方法,提出了进程符号环境和符号化和格局标号迁移......
非对称x-演算是一种移动计算模型。文介绍非对称x-演算的语法和符号操作语义，给出非对称x-演算的符号互模拟的验证算法，该算法根据算......
