A bisimilarity metric for processes based on game semantics

Zhong Ming; Yahui Lu; Li Zhang

doi:10.1117/12.923800

13 January 2012 A bisimilarity metric for processes based on game semantics

Zhong Ming, Yahui Lu, Li Zhang

Proceedings Volume 8350, Fourth International Conference on Machine Vision (ICMV 2011): Computer Vision and Image Analysis; Pattern Recognition and Basic Technologies; 83503B (2012) https://doi.org/10.1117/12.923800
Event: Fourth International Conference on Machine Vision (ICMV 11), 2011, Singapore, Singapore

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.

Citation Download Citation

Zhong Ming, Yahui Lu, and 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); https://doi.org/10.1117/12.923800

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available

Members: $17.00

Non-members: $21.00 ADD TO CART

PROCEEDINGS
9 PAGES

DOWNLOAD PAPER SAVE TO MY LIBRARY

GET CITATION

RIGHTS & PERMISSIONS

Get copyright permission Get copyright permission on Copyright Marketplace

KEYWORDS

Calculus

Algorithm development

Lithium

Interfaces

Machine vision

Computer science

Computer vision technology

Show All Keywords

Keywords/Phrases

Search In:

Publication Years