为刻画和验证无穷值域上的传值进程, Hennessy和Lin先后提出符号迁移图(STG)和带赋值符号迁移图(STGA)作为传值进程的语义表示模型......

带赋值符号迁移图是一般传值进程的语义模型，基强互模拟等价可以归结为谓词等式系的最大解．该文将这一结果推广互弱互模拟等价，为此，引......

本文引入描述传值并系统的新模型“带赋值符号迁移图（ＳＴＧＡ）”推广了Ｈｅｎｎｅｓｓｙ和Ｌｉｎ提出的“符号迁移图”的概念，允许迁移上带有赋值，从而能将更大的一类......

符号迁移图是传值进程的一种直观而简洁的语义表示模型.该模型由Hennessy和Lin首先提出,随后又被Lin推广至带赋值的符号迁移图.本......