Two-thirds simulation indexes and modal logic characterization

  • Authors:

  • Yanfang Ma;Min Zhang;Yixiang Chen;Liang Chen

  • Affiliations:

  • School of Computer Science and Technology, Huaibei Normal University, Huaibei, China 235000;Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China 200062;Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China 200062;School of Mathematical Sciences, Huaibei Normal University, Huaibei, China 235000

  • Venue:
  • Frontiers of Computer Science in China
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

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. 驴-two-thirds simulation and its substitutivity laws are given in this paper. And, based on 驴-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 驴-two-thirds simulation.