摘要
精化关系是研究反应式系统的重要内容之一。本文在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~~