کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
433721 689615 2016 6 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Controlling loosely cooperating processes
ترجمه فارسی عنوان
کنترل فرآیندهای همکاری نادرست
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی

In this article, we consider the problem of controlling loosely cooperating processes. We show that this distributed control problem is EXPTIME-complete if we restrict the number of processes to two, and undecidable for three or more processes.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 611, 18 January 2016, Pages 136–141
نویسندگان
, ,