Share Email Print
cover

Proceedings Paper

A bisimilarity metric for processes based on game semantics
Author(s): Zhong Ming; Yahui Lu; Li Zhang
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper 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.

Paper Details

Date Published: 13 January 2012
PDF: 9 pages
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
Show Author Affiliations
Zhong Ming, Shenzhen Univ. (China)
Yahui Lu, Shenzhen Univ. (China)
Li Zhang, Tsinghua Univ. (China)


Published in SPIE Proceedings Vol. 8350:
Fourth International Conference on Machine Vision (ICMV 2011): Computer Vision and Image Analysis; Pattern Recognition and Basic Technologies
Safaa S. Mahmoud; Zhu Zeng; Yuting Li, Editor(s)

© SPIE. Terms of Use
Back to Top