Relating coalgebraic notions of bisimulationArticle
Authors: Sam Staton
NULL
Sam Staton
The theory of coalgebras, for an endofunctor on a category, has been proposed
as a general theory of transition systems. We investigate and relate four
generalizations of bisimulation to this setting, providing conditions under
which the four different generalizations coincide. We study transfinite
sequences whose limits are the greatest bisimulations.
Alex C. Keizer;Henning Basold;Jorge A. Pérez, 2022, Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types, ACM transactions on programming languages and systems, 44, 3, pp. 1-45, 10.1145/3527633, https://doi.org/10.1145/3527633.
Valentin Cassano;Raul Fervari;Carlos Areces;Pablo F Castro, 2022, Algebraic tools for default modal systems, Journal of logic and computation, 33, 6, pp. 1301-1325, 10.1093/logcom/exac051.
Alexandre Goy;Daniela Petrişan;Marc Aiguier, Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces, pp. 14-, 2021, 10.4230/lipics.icalp.2021.132.
Jim de Groot;Dirk Pattinson, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Modal Intuitionistic Logics as Dialgebraic Logics, 2020, Saarbrücken Germany, 10.1145/3373718.3394807.
Ichiro Hasuo;Toshiki Kataoka;Kenta Cho, 2017, Coinductive predicates and final sequences in a fibration, MSCS. Mathematical structures in computer science/Mathematical structures in computer science, 28, 4, pp. 562-611, 10.1017/s0960129517000056, https://doi.org/10.1017/s0960129517000056.
Diego Latella;Mieke Massink;Erik de Vink, 2015, A Definition Scheme for Quantitative Bisimulation, arXiv (Cornell University), 194, pp. 63-78, 10.4204/eptcs.194.5.
Lutz Schröder;Dirk Pattinson;Tadeusz Litak, 2015, A Van Benthem/Rosen theorem for coalgebraic predicate logic, Journal of logic and computation, pp. exv043, 10.1093/logcom/exv043.
Paweł Sobociński, 2015, Relational presheaves, change of base and weak simulation, Journal of computer and system sciences, 81, 5, pp. 901-910, 10.1016/j.jcss.2014.12.007.
Roberto Bruni;Ugo Montanari;Matteo Sammartino, 2015, A coalgebraic semantics for causality in Petri nets, The Journal of logical and algebraic methods in programming/Journal of logical and algebraic methods in programming, 84, 6, pp. 853-883, 10.1016/j.jlamp.2015.07.003, https://doi.org/10.1016/j.jlamp.2015.07.003.
Tomasz Brengos;Marino Miculan;Marco Peressotti, 2015, Behavioural equivalences for coalgebras with unobservable moves, arXiv (Cornell University), 84, 6, pp. 826-852, 10.1016/j.jlamp.2015.09.002, https://arxiv.org/abs/1411.0090.