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