Two-thirds simulation indexes and modal logic characterization

作     者：Yanfang MA Min ZHANG Yixiang CHEN Liang CHEN 

作者机构：School of Computer Science and Technology Huaibei Normal University Huaibei 235000 China Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai 200062 China School of Mathematical Sciences Huaibei Normal University Huaibei 235000 China 

出 版 物：《Frontiers of Computer Science》 (中国计算机科学前沿（英文版）)

年 卷 期：2011年第5卷第4期

页      面：454-471页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：Key Research Foundation of Higher Education of Anhui Province, (KJ2011A248) Open Fund of Shanghai Key Laboratory of Trustworthy Computing National Natural Science Foundation of China, NSFC, (61021004) National Natural Science Foundation of China, NSFC Fundamental Research Funds for the Central Universities, (78210045) Fundamental Research Funds for the Central Universities 

主　　题：simulation metric two-thirds simulation,process calculus 

摘      要：Two-thirds simulation provides a kind of abstract description of an implementation with respect to a specification. In order to characterize the approximate two-thirds simulation, we propose the definition of a two- thirds simulation index which expresses the degree to which a binary relation between processes is two-thirds simulation. 2-two-thirds simulation and its substitutivity laws are given in this paper. And, based on 2-two-thirds simulation, we present a measure model for describing the degree of approximation between processes. In particular, we give the modal logical characterization of 2-two-thirds simulation.