Characterize branching distance in terms of (eta, alpha)-bisimilarity
In order to describe approximate equivalence between processes, the notion of branching distance has been introduced in the framework of quantitative transition systems. This paper introduces the notion of(eta, alpha)-bisimilarity and explores the relationship between it and the branching distance. (C) 2008 Elsevier Inc. All rights reserved.
branching distance quantitative transition systems approximate bisimilarity