Characterize branching distance in terms of (η, α)-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 (η, α)-bisimilarity and explores the relationship between it and the branching distance.