کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423426 685222 2008 22 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
چکیده انگلیسی

Non-deterministic (also known as possibilistic) and probabilistic state based systems (or automata) have been studied for quite some time. Separately, they are reasonably well-understood. The combination however is difficult, both for conceptual and technical reasons. Here we study the combination from a coalgebraic perspective and identify a monad CM that captures the combination—following work of Varacca. We use this monad to apply the coalgebraic framework for (finite) trace semantics in this setting. It yields a smooth, but not entirely trivial, description of traces.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 203, Issue 5, 12 June 2008, Pages 131-152