کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4663264 | 1345243 | 2007 | 26 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The Hennessy–Milner equivalence for continuous time stochastic logic with mu-operator
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
A continuous stochastic logic with a μ-operator μCSL is defined, and an interpretation through stochastic relations is proposed. We investigate morphisms for models of μCSL, showing that the associated congruences can be used for an investigation of bisimilarity. The Hennessy–Milner equivalence for μCSL is discussed, and it is shown that models are equivalent iff they are bisimilar, using a general criterion for bisimilarity from the theory of stochastic relations.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 5, Issue 3, September 2007, Pages 519–544
Journal: Journal of Applied Logic - Volume 5, Issue 3, September 2007, Pages 519–544
نویسندگان
Ernst-Erich Doberkat,