|
|||||
|
|
| Institution框架下的结构化标记共变-逆变模拟 | |
| 作者单位： | ;1.南京航空航天大学计算机科学与技术学院 |
| 摘 要： | 结构化标记共变-逆变模拟是共变-逆变模拟的一种扩充,在处理转换系统的模拟关系时考虑了标记本身的结构。结构化标记模态转换系统间的模态精化与结构化标记共变-逆变模拟之间存在诸多相似之处,为了在更抽象层次上研究两者的关系,引入Institution框架。基于该框架,讨论结构化标记模态转换系统间的模态精化与结构化标记共变-逆变模拟之间的关系,并证明前者到后者存在Institution态射。结果表明,相比结构化标记模态转换系统中模态精化关系,结构化标记共变-逆变模拟具有更强的表达能力。 |
| 关 键 词： | Institution 结构化标记 模态转换系统 共变-逆变模拟 |
LABEL-STRUCTURED COVARIANT-CONTRAVARIANT SIMULATION IN INSTITUTION FRAMEWORK |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |