13 January 2012 A bisimilarity metric for processes based on game semantics
Author Affiliations +
Abstract
Bisimulation relation is one of the most important equivalence relations in the process calculus for judging whether two processes are equivalent. In practical applications, when bisimulation equivalence is not available between two processes, we need to know how much extent that one process can simulate the other process. In this paper, we define a bisimilarity metric between two finite-state processes based on the bisimulation game semantics. We also propose an algorithm to calculate the bisimilarity metric. A tool is developed to implement this algorithm.
© (2012) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Zhong Ming, Zhong Ming, Yahui Lu, Yahui Lu, Li Zhang, Li Zhang, } "A bisimilarity metric for processes based on game semantics", Proc. SPIE 8350, Fourth International Conference on Machine Vision (ICMV 2011): Computer Vision and Image Analysis; Pattern Recognition and Basic Technologies, 83503B (13 January 2012); doi: 10.1117/12.923800; https://doi.org/10.1117/12.923800
PROCEEDINGS
9 PAGES


SHARE
Back to Top