计算机科学与探索2016，Vol.10Issue(2)：163-172,10.DOI:10.3778/j.issn.1673-9418.1506009
直觉主义计算树逻辑中的安全性和活性
Safety and Liveness in Intuitionistic Computing Tree Logic
摘要
关键词
直觉主义/计算树逻辑/安全性/活性/分解定理Key words
intuitionistic/computation tree logic/safety/liveness/decomposition theorem分类
信息技术与安全科学引用本文复制引用
鲍秋霜,张晋津..直觉主义计算树逻辑中的安全性和活性[J].计算机科学与探索,2016,10(2):163-172,10.基金项目
The National Natural Science Foundations of China under Grant Nos.11426136,60973045(国家自然科学基金) （国家自然科学基金）
the Natural Science Foundation of Jiangsu Higher Education Institutions under Grant No.13KJB520012(江苏省高校自然科学基金). （江苏省高校自然科学基金）
