A Behavioural Pseudometric based on λ--Bisimilarity

Authors:
Jinjin Zhang;Zhaohui Zhu
Affiliations:
Department of Computer Science, Nanjing University of Aeronautics and Astronautics, Nanjing, P. R. 210016, China;Department of Computer Science, Nanjing University of Aeronautics and Astronautics, Nanjing, P. R. 210016, China and State Key Lab of Novel Software Technology, Nanjing University, Nanjing, P. R. ...
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 6
Cited 1

Topology in process calculus: approximate correctness and infinite evolution of concurrent programs

Topology in process calculus: approximate correctness and infinite evolution of concurrent programs
Communication and Concurrency

Communication and Concurrency
Bisimulation indexes and their applications

Theoretical Computer Science
The Metric Analogue of Weak Bisimulation for Probabilistic Processes

LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
Concurrency and Automata on Infinite Sequences

Proceedings of the 5th GI-Conference on Theoretical Computer Science
A behavioural pseudometric for metric labelled transition systems

CONCUR 2005 - Concurrency Theory

Characterize branching distance in terms of (η,α)-bisimilarity

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

In order to describe approximate equivalence among processes, the notions of @l-bisimilarity and behavioural pseudometric have been introduced by Ying and van Breugel respectively. Van Breugel provides a distance function induced by @l-bisimilarity, and conjectures that his behavioural pseudometric coincides with this function. This paper is inspired by this conjecture. We give a negative answer for van Breugel's conjecture first. Moreover, we show that the distance function induced by @l-bisimilarity is a pseudometric on states, and provide a fixed point characterization of this pseudometric.