Codensity Games for Bisimilarity
Codensity Games for Bisimilarity
复制标题
相似性的代码密度游戏
DOI：
10.1007/s00354-022-00186-y
复制
发表时间：
2022
影响因子：
2.6
通讯作者：
Hasuo Ichiro
中科院分区：
文献类型：
--
作者：
Komorida Yuichi;Katsumata Shin-ya;Hu Nick;Klin Bartek;Humeau Samuel;Eberhart Clovis;Hasuo Ichiro
双相似性作为系统的等价概念一直是过程理论的核心。由于最近对定量系统（概率，加权，混合等）的兴趣增加，双相似性已经以各种方式扩展，例如概率系统之间的双模拟度量。双相似性的一个重要特征是它的博弈论特征，即剧透者和复制者相互对抗；将双相似游戏扩展到定量设置也得到了积极的追求。在本文中，我们提出了一个统一描述双相似概念的游戏特征的一般框架。我们的框架是用纤维和余代数形式化的。特别地，我们在纤维谓词转换方面的双相似性特征使我们能够推导出我们所谓的高密度双相似性博弈：双相似性的一般分类博弈特征。我们的框架涵盖了已知的类似双相似性的概念（如双仿真度量和双仿真半规范）以及新的概念（包括我们称之为双仿真拓扑）。
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 important feature of bisimilarity is its game-theoretic characterization, where Spoiler and Duplicator play against each other; extension of bisimilarity games to quantitative settings has been actively pursued too. In this paper, we present a general framework that uniformly describes game characterizations of bisimilarity-like notions. Our framework is formalized categorically using fibrations and coalgebras. In particular, our characterization of bisimilarity in terms of fibrational predicate transformers allows us to derive what we call codensity bisimilarity games: a general categorical game characterization of bisimilarity. Our framework covers known bisimilarity-like notions (such as bisimulation metric and bisimulation seminorm) as well as new ones (including what we call bisimulation topology).
登录
查看更多内容
DOI：
10.1007/3-540-36576-1_13
发表时间：
2003
期刊：
--
影响因子：
--
作者：
F. Breugel;M. Mislove;Joël Ouaknine;J. Worrell
通讯作者：
J. Worrell
通过纤维进行行为测量的最新技术
DOI：
10.4230/lipics.concur.2018.17
发表时间：
2018
期刊：
ArXiv
影响因子：
--
作者：
Filippo Bonchi;Barbara König;Daniela Petrişan
通讯作者：
Daniela Petrişan
影响因子：
1
作者：
Joyal, A;Nielsen, M;Winskel, G
通讯作者：
Winskel, G
拓扑（双）仿真
DOI：
10.1016/j.entcs.2004.08.017
发表时间：
2004
期刊：
--
影响因子：
--
作者：
P. Cuijpers;M. Reniers
通讯作者：
M. Reniers
影响因子：
1.8
作者：
Baldan, Paolo;Koenig, Barbara;Padoan, Tommaso
通讯作者：
Padoan, Tommaso