Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Lecture Notes in Computer Science;C. Baier,1997
2. Gumm, H.P.: Elements of the general theory of coalgebras. In: LUATCS 1999, Rand Afrikaans University, Johannesburg (1999)
3. Hughes, J., Jacobs, B.: Simulations in coalgebra. TCS 327(1-2), 71–108 (2004)
4. Lecture Notes in Computer Science;R. Milner,1980
5. Rothe, J.: A syntactical approach to weak (bi)-simulation for coalgebras. In: Moss, L. (ed.) Proc. CMCS 2002. ENTCS, vol. 65, pp. 270–285 (2002)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Weak bisimulation for coalgebras over order enriched monads;Logical Methods in Computer Science;2015-06-25
2. On Coalgebras with Internal Moves;Advanced Information Systems Engineering;2014
3. A Coalgebraic View of ε-Transitions;Algebra and Coalgebra in Computer Science;2013