Title of article
Characterize branching distance in terms of (η, α)-bisimilarity
Author/Authors
Jinjin Zhang، نويسنده , , Zhaohui Zhu، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
13
From page
953
To page
965
Keywords
Quantitative transition systemsApproximate bisimilarityBranching distance
Journal title
Information and Computation
Serial Year
2008
Journal title
Information and Computation
Record number
262489
Link To Document