计算机技术与发展2018，Vol.28Issue(11)：22-25,29,5.DOI:10.3969/j.issn.1673-629X.2018.11.005
并发加权μ-演算的一致性内插
Uniform Interpolation of Concurrent Weighted μ-calculus
摘要
关键词
μ-演算/互模拟量词/并发/加权/轮替树自动机/ω展开/一致性内插分类
信息技术与安全科学引用本文复制引用
余寒,张晋津..并发加权μ-演算的一致性内插[J].计算机技术与发展,2018,28(11):22-25,29,5.基金项目
国家自然科学基金(61602249) （61602249）
