کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6876352 | 689804 | 2012 | 5 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Finite and infinite implementation of transition systems
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Finite and infinite implementation of transition systems Finite and infinite implementation of transition systems](/preview/png/6876352.png)
چکیده انگلیسی
A system T is defined as implementing a system S if every infinite execution of T leads to the same observations as some infinite execution of S. System T implements S finitely if every finite execution of T leads to the same observations as some finite execution of S. It is proved that, under certain conditions on the implemented system, finite implementation implies implementation. The proof uses König's lemma. It is shown that the conditions are essential.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 458, 2 November 2012, Pages 131-135
Journal: Theoretical Computer Science - Volume 458, 2 November 2012, Pages 131-135
نویسندگان
Wim H. Hesselink, Gerard R. Renardel de Lavalette,