期刊文献+

n-精化关系及其相关研究

Investigation on the n-refinement relations
下载PDF
导出
摘要 精化关系是研究反应式系统的重要内容之一。本文在n-互模拟的基础上提出了分层精化精化关系,探究n-精化关系与分层互模拟关系之间的区别与联系,定义n-精化模态逻辑语言并给出相关的永真式。 The refinement relations is one of the important contents of studying reactive systems. This paper introducing the notion of nrefinement by the definition of n-bisimulation, studying the the differences between the n-refinement and n-bisimulation, as well as defining nrefinement modal logic language and giving relevant validities.
出处 《电子世界》 2017年第2期193-194,共2页 Electronics World
基金 国家自然科学基金Nos.11426136 60973045 江苏省高校自然科学基金No.61602249~~
关键词 n-精化 n-互模拟 n-精化模态逻辑 n-refinement n-bisimulafion n-refinement modal logic
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部