مرکز منطقه ای اطلاع رساني علوم و فناوري - Characterize branching distance in terms of (η, α)-bisimilarity

Title of article :

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

Author/Authors :

Jinjin Zhang، نويسنده , , Zhaohui Zhu، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2008

Pages :

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 :

333748

Link To Document :