کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422916 685155 2009 26 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Decidable Fragments of a Higher Order Calculus with Locations
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Decidable Fragments of a Higher Order Calculus with Locations
چکیده انگلیسی

Homer is a higher order process calculus with locations. In this paper we study Homer in the setting of the semantic finite control property, which is a finite reachability criterion that implies decidability of barbed bisimilarity. We show that strong and weak barbed bisimilarity are undecidable for Homer. We then identify and compare two distinct subcalculi of Homer that both satisfy the semantic finite control property. One subcalculus is obtained by using a type system bounding the size of process terms. The other subcalculus is obtained by considering the image of the encoding of the finite control π-calculus in Homer.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 242, Issue 1, 9 July 2009, Pages 113-138