Codensity games for bisimilarity

Bisimilarity as an equivalence notion of systems has been central to process theory. Due to the recent rise of interest in quantitative systems (probabilistic, weighted, hybrid, etc.), bisimilarity has been extended in various ways, such as bisimulation metric between probabilistic systems. An impor...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों: Komorida, Y, Katsumata, S-Y, Hu, N, Klin, B, Humeau, S, Eberhart, C, Hasuo, I
स्वरूप: Journal article
भाषा:English
प्रकाशित: Springer 2022