کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
426079 | 685991 | 2013 | 30 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On the semantics of Markov automata
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: On the semantics of Markov automata On the semantics of Markov automata](/preview/png/426079.png)
چکیده انگلیسی
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak bisimulation for such systems and prove that this provides both a sound and complete proof methodology for a natural extensional behavioural equivalence between such systems, a generalisation of reduction barbed congruence, the well-known touchstone equivalence for a large variety of process description languages.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 222, January 2013, Pages 139–168
Journal: Information and Computation - Volume 222, January 2013, Pages 139–168
نویسندگان
Yuxin Deng, Matthew Hennessy,