装饰等价相关硕士博士期刊学术论文

什么叫模型的等价性？从计算机科学来看，刻画相同行为过程的两个标号转换系统称为等价模型，这种等价性称为行为等价性；从模态逻辑来看，具......