计算机技术与发展2019，Vol.29Issue(9)：40-44,134,6.DOI:10.3969/j.issn.1673-629X.2019.09.008
ntyft/ntyxt算子下共变-异变模拟的前同余性
Precongrunence of Covariant-contravariant Simulation under ntyft/ntyxt Operators
摘要
关键词
结构化操作语义/共变-异变模拟/ntyft/ntyxt/CC-ntyft/ntyxt/前同余性/分层/归约分类
信息技术与安全科学引用本文复制引用
李苏婷,张严..ntyft/ntyxt算子下共变-异变模拟的前同余性[J].计算机技术与发展,2019,29(9):40-44,134,6.基金项目
国家自然科学基金(61602249) （61602249）
江苏省普通高校自然科学研究资助项目(17KJB520012) （17KJB520012）
