带赋值符号迁移图(Symbolic Transition Graph With Assignments)
为刻画和验证无穷值域上的传值进程, Hennessy和Lin先后提出符号迁移图（STG）和带赋值符号迁移图（STGA）作为传值进程的语义表示模型,并给出了相应的强互模拟算法.
基于46个网页-相关网页
解决这个问题的一个方案是：使用带赋值符号迁移图(STGA)作为并发传值进程的模型，使用谓词μ演算作为刻画性质的逻辑，并采用动态实例化的算法对传值并发进程直接进行模型检测。
基于10个网页-相关网页