کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
433754 | 689620 | 2015 | 25 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure
ترجمه فارسی عنوان
کشتن اپسیلون ها با کرگج: مطالعه ی زوال بر روی سیستم با ساختار برچسب جبری
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We propose an abstract framework for modelling state-based systems with internal behaviour as e.g. given by silent or ϵ-transitions. Our approach employs monads with a parametrized fixpoint operator † to give a semantics to those systems and implement a sound procedure of abstraction of the internal transitions, whose labels are seen as the unit of a free monoid. More broadly, our approach extends the standard coalgebraic framework for state-based systems by taking into account the algebraic structure of the labels of their transitions. This allows to consider a wide range of other examples, including Mazurkiewicz traces for concurrent systems and non-deterministic transducers.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 604, 2 November 2015, Pages 102–126
Journal: Theoretical Computer Science - Volume 604, 2 November 2015, Pages 102–126
نویسندگان
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi,