Composing Codensity Bisimulations-Reference-Cited by-同舟云学术

Composing Codensity Bisimulations

Published:2024-07-08 Issue: Volume:415 Page:1-13
ISSN:
Container-title:Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Kori Mayuko¹²^ORCID,Watanabe Kazuki¹²^ORCID,Rot Jurriaan³^ORCID,Katsumata Shin-Ya⁴^ORCID

Affiliation:

1. National Institute of Informatics, Tokyo, Japan

2. The Graduate University for Advanced Studies, SOKENDAI, Hayama, Japan

3. Radboud University, Nijmegen, Netherlands

4. Kyoto Sangyo University, Kyoto, Japan

Funder

Japan Science and Technology Agency.

Japan Society for the Promotion of Science

Japan Science and Technology Agency

The Dutch Research Council

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3661814.3662139

Reference37 articles.

1. Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. 2014. Behavioral Metrics via Functor Lifting. In FSTTCS (LIPIcs, Vol. 29). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 403--415.

2. Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. 2018. Coalgebraic Behavioral Metrics. Log. Methods Comput. Sci. 14, 3 (2018).

3. Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. In STACS (LIPIcs, Vol. 289);Beohar Harsh;Schloss Dagstuhl - Leibniz-Zentrum für Informatik,2024

4. Bisimulation can't be traced

5. Up-To Techniques for Behavioural Metrics via Fibrations. In CONCUR (LIPIcs, Vol. 118);Bonchi Filippo;Schloss Dagstuhl - Leibniz-Zentrum für Informatik,2018

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Composing Codensity Bisimulations;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08