数据传送进程的符号互模拟  

作　　者：林惠民 

出　　处：《软件学报》1995年第A01期1-9,共9页Journal of Software

摘　　要：本文提出数据传送进程的符号迁移语义，引入符号互模拟的概念，证明了两个进程在传统意义下互模拟当且仅当它们符号互模拟。我穷域上的数据传送进程的传统迁移图是无穷的而其中相当的一部分的符号迁移图是有穷的，文章的结果为在有穷时间和空间内判定这类进程的互模拟关系开辟了可能性。

关 键 词：进程代数 数据传送进程 符号互模拟 程序 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]