Author:
Jacobs Bart,Levy Paul,Rot Jurriaan
Publisher
Springer International Publishing
Reference30 articles.
1. Bartels, F.: Generalised coinduction. Math. Struct. Comput. Sci. 13(2), 321–348 (2003)
2. 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, LIPIcs. vol. 85, pp. 23:1–23:18. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2017)
3. Lecture Notes in Computer Science;MM Bonsangue,2005
4. Bonsangue, M., Milius, S., Silva, A.: Sound and complete axiomatizations of coalgebraic language equivalence. ACM Trans. Comput. Log. 14(1), 7:1–7:52 (2013)
5. Capretta, V., Uustalu, T., Vene, V.: Recursive coalgebras from comonads. Inf. Comput. 204(4), 437–468 (2006)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Steps and traces;Journal of Logic and Computation;2021-08-23
2. Behavioural Preorders via Graded Monads;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
3. Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies;Electronic Notes in Theoretical Computer Science;2018-12