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...
Main Authors: | Komorida, Y, Katsumata, S-Y, Hu, N, Klin, B, Humeau, S, Eberhart, C, Hasuo, I |
---|---|
Format: | Journal article |
Language: | English |
Published: |
Springer
2022
|
Similar Items
-
Codensity Lifting of Monads and its Dual
by: Shin-ya Katsumata, et al.
Published: (2018-10-01) -
Companions, Causality and Codensity
by: Damien Pous, et al.
Published: (2019-08-01) -
Quantifiers on languages and codensity monads
by: Gehrke, M, et al.
Published: (2021) -
Quantifiers on languages and codensity monads
by: Gehrke, M, et al.
Published: (2017) -
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
by: Vojtěch Forejt, et al.
Published: (2018-11-01)