کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
436520 690010 2006 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Approximating and computing behavioural distances in probabilistic transition systems
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Approximating and computing behavioural distances in probabilistic transition systems
چکیده انگلیسی

In an earlier paper we presented a pseudometric on the states of a probabilistic transition system, yielding a quantitative notion of behavioural equivalence. The behavioural pseudometric was defined via the terminal coalgebra of a functor based on a metric on Borel probability measures. In the present paper we give a polynomial-time algorithm, based on linear programming, to calculate the distances between states up to a prescribed degree of accuracy.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 360, Issues 1–3, 21 August 2006, Pages 373-385