Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
426688 | Information and Computation | 2008 | 13 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics