n-refinement相关论文
n-精化关系在计算机科学领域中发挥着重要作用。在理论计算机科学中，学者们常用互模拟来刻画状态转换系统（例如，实时控制系统）之间的行......
精化关系是研究反应式系统的重要内容之一。本文在n-互模拟的基础上提出了分层精化精化关系,探究n-精化关系与分层互模拟关系之间......
