Resource bisimilarity and graded bisimilarity coincide

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.

• Type: Journal
• Year: 2010
• Where: IPL
• Authors: Luca Aceto, Anna Ingólfsdóttir, Joshua Sack
• Keywords: Bisimilarity, Image-finite Kripke Frames, IPL 2010, Kripke Models