کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9657262 | 1441303 | 2005 | 43 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A hierarchy of equivalences for asynchronous calculi
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: A hierarchy of equivalences for asynchronous calculi A hierarchy of equivalences for asynchronous calculi](/preview/png/9657262.png)
چکیده انگلیسی
We generate a natural hierarchy of equivalences for asynchronous name-passing process calculi from simple variations on Milner and Sangiorgi's definition of weak barbed bisimulation. The Ï-calculus, used here, and the join calculus are examples of such calculi. We prove that barbed congruence coincides with Honda and Yoshida's reduction equivalence, and with asynchronous labeled bisimulation when the calculus includes name matching, thus closing those two conjectures. We also show that barbed congruence is coarser when only one barb is tested. For the Ï-calculus, it becomes a limit bisimulation, whereas for the join calculus, it coincides with both fair testing equivalence and with the weak barbed version of Sjödin and Parrow's coupled simulation.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: The Journal of Logic and Algebraic Programming - Volume 63, Issue 1, April 2005, Pages 131-173
Journal: The Journal of Logic and Algebraic Programming - Volume 63, Issue 1, April 2005, Pages 131-173
نویسندگان
Cédric Fournet, Georges Gonthier,