کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
427870 | 686570 | 2010 | 9 صفحه PDF | دانلود رایگان |
![عکس صفحه اول مقاله: Resource bisimilarity and graded bisimilarity coincide Resource bisimilarity and graded bisimilarity coincide](/preview/png/427870.png)
Resource bisimilarity has been proposed in the literature on concurrency theory as a notion of bisimilarity over labeled transition systems that takes into account the number of choices that a system has. Independently, g-bisimilarity has been defined over Kripke models as a suitable notion of bisimilarity for graded modal logic. This note shows that these two notions of bisimilarity coincide over image-finite Kripke frames.
Research highlights
► Resource bisimilarity coincides with graded bisimilarity.
► The Hennessy–Milner property holds for graded modal logic over the class of image-finite Kripke frames modulo graded bisimilarity.
► Resource bisimilarity on multiframes coincides with coalgebraic bisimilarity for the finite multiset functor.
Journal: Information Processing Letters - Volume 111, Issue 2, 31 December 2010, Pages 68–76