Resource bisimilarity and graded bisimilarity coincide |
| |
Authors: | Luca Aceto Anna Ingolfsdottir |
| |
Affiliation: | ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland |
| |
Abstract: | 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. |
| |
Keywords: | Concurrency Resource bisimilarity Graded bisimilarity Graded modal logic Kripke frames Coalgebras |
本文献已被 ScienceDirect 等数据库收录! |