کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423597 685262 2008 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Bisimilarity of Distributionally Equivalent Markov Transition Systems
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Bisimilarity of Distributionally Equivalent Markov Transition Systems
چکیده انگلیسی

Markov transition systems for interpreting a simple negation free Hennessy-Milner logic are called distributionally equivalent iff for each formula the probability for its extension in one model is matched probabilistically in the other one. This extends in a natural way the notion of logical equivalence which is defined on the states of a transition system to its subprobability distributions. It is known that logical equivalence is equivalent to bisimilarity, i.e., the existence of a span of Borel maps that act as morphisms. We show that distributional equivalence is equivalent to bisimilarity as well, using a characterization of distributional equivalent transition systems through ergodic morphisms. As an aside, we relate bisimilar transition systems to those systems, for which cospans — taken in the category of measurable maps resp. in the Kleisli category associated with the Giry monad — exist.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 212, 30 April 2008, Pages 41-53