کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10331889 686963 2015 9 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A ground-complete axiomatization of stateless bisimilarity over Linda
ترجمه فارسی عنوان
یک مبحث جامع کامل از بی تفاوتی افراد بدون لایحه بر لیندا
کلمات کلیدی
همبستگی، جبر فرآیند، بی تفاوتی بی سابقه ای، لیندا، منطق معادلات،
ترجمه چکیده
این مقاله یک مبحث محدود و پایه کامل از بی همتایی بی قید و شرط را بر روی زبان هماهنگی مبتنی بر فضای درونی لیندا ارائه می دهد. به عنوان سنگ های پله ای به سوی آن نتیجه، به طور خلاصه، اعمالی از بی تفاوتی بی قید و شرط در مورد قطعه پیوسته لیندا بدون ابتدای ناخودآگاه و بیش از زیر زبان کامل ترتیب داده می شود. همچنین نشان داده شده است که بی تفاوتی بدون قید و شرط با بی عدالت استاندارد در مورد قطعه پی در پی لیندا بدون ابتدای ناخوشی همخوانی دارد.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
یک مبحث جامع کامل از بی تفاوتی افراد بدون لایحه بر لیندا
چکیده انگلیسی
This paper offers a finite, ground-complete axiomatization of stateless bisimilarity over the tuple-space-based coordination language Linda. As stepping stones towards that result, axiomatizations of stateless bisimilarity over the sequential fragment of Linda without the nask primitive, and over the full sequential sub-language are given. It is also shown that stateless bisimilarity coincides with standard bisimilarity over the sequential fragment of Linda without the nask primitive.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Processing Letters - Volume 115, Issue 2, February 2015, Pages 212-220
نویسندگان
, , ,