Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Weak Similarity in Higher-Order Mathematical Operational Semantics;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Bisimulation as a logical relation;Mathematical Structures in Computer Science;2022-04
3. A coalgebraic take on regular and $\omega$-regular behaviours;Logical Methods in Computer Science;2021-12-23
4. Relating Apartness and Bisimulation;Logical Methods in Computer Science;2021-07-30
5. A Categorical Approach to Secure Compilation;Coalgebraic Methods in Computer Science;2020