...辅导-中期提升型（MPGA）, 2014年山东大学考博英语跟踪辅导-基础巩固型（LBGA）, 2014年浙江大学考博英语辅导-短期冲击型（STGA）, 医学考博英语全国通考系列试题列表, 2014年苏州大学考博英语辅导-中期提升型（MPGA）, 2014年中国农业科学院考博英语辅导-中期...
基于88个网页-相关网页
为刻画和验证无穷值域上的传值进程, Hennessy和Lin先后提出符号迁移图（STG）和带赋值符号迁移图（STGA）作为传值进程的语义表示模型,并给出了相应的强互模拟算法.
基于46个网页-相关网页
解决这个问题的一个方案是：使用带赋值符号迁移图(STGA)作为并发传值进程的模型，使用谓词μ演算作为刻画性质的逻辑，并采用动态实例化的算法对传值并发进程直接进行模型检测。
基于10个网页-相关网页
应用推荐