کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
426688 | 686159 | 2008 | 13 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Characterize branching distance in terms of (η, α)-bisimilarity
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Characterize branching distance in terms of (η, α)-bisimilarity Characterize branching distance in terms of (η, α)-bisimilarity](/preview/png/426688.png)
چکیده انگلیسی
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.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 206, Issue 8, August 2008, Pages 953-965
Journal: Information and Computation - Volume 206, Issue 8, August 2008, Pages 953-965