کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9657819 | 690045 | 2005 | 38 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Structured coalgebras and minimal HD-automata for the Ï-calculus
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Structured coalgebras and minimal HD-automata for the Ï-calculus Structured coalgebras and minimal HD-automata for the Ï-calculus](/preview/png/9657819.png)
چکیده انگلیسی
We also link the coalgebraic semantics with a slightly improved version of history dependent (HD) automata, a model developed for verification purposes, where states have local names and transitions are decorated with names and name relations. HD-automata associated with agents with a bounded number of threads in their derivatives are finite and can be actually minimized. We show that the bisimulation relation in the coalgebraic context corresponds to the minimal HD-automaton.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 340, Issue 3, 31 August 2005, Pages 539-576
Journal: Theoretical Computer Science - Volume 340, Issue 3, 31 August 2005, Pages 539-576
نویسندگان
Ugo Montanari, Marco Pistore,