Publisher
Springer International Publishing
Reference26 articles.
1. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories: the joy of cats. online and enhanced edition of the book published in 1990 by John Wiley and Sons (2004). http://katmat.math.uni-bremen.de/acc/acc.pdf
2. Adámek, J., Milius, S., Moss, L.S., Sousa, L.: Well-pointed coalgebras. Logical Methods Comput. Sci. 9(3), 1–51 (2013)
3. Awodey, S.: Category Theory, 2nd edn. Oxford University Press, Inc., New York (2010)
4. Beohar, H., Küpper, S.: On path-based coalgebras and weak notions of bisimulation. In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, Ljubljana, Slovenia, 12–16 June 2017, pp. 6:1–6:17 (2017). https://doi.org/10.4230/LIPIcs.CALCO.2017.6
5. Bonchi, F., Silva, A., Sokolova, A.: The power of convex algebras. In: Meyer, R., Nestmann, U. (eds.) 28th International Conference on Concurrency Theory (CONCUR 2017), Dagstuhl, Germany, vol. 85, pp. 23:1–23:18 (2017). https://doi.org/10.4230/LIPIcs.CONCUR.2017.23
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Weighted and Branching Bisimilarities from Generalized Open Maps;Lecture Notes in Computer Science;2023
2. Minimality Notions via Factorization Systems and Examples;Logical Methods in Computer Science;2022-09-08
3. Codensity Games for Bisimilarity;New Generation Computing;2022-07
4. Bisimilarity of Diagrams;Relational and Algebraic Methods in Computer Science;2020