Author:
Kurz Alexander,Milius Stefan,Pattinson Dirk,Schröder Lutz
Publisher
Springer International Publishing
Reference24 articles.
1. Aceto, L., Ingólfsdóttir, A., Larsen, K., Srba, J.: Reactive systems: modelling, specification and verification. Cambridge University Press (2007)
2. Aczel, P.: Non-Well-Founded Sets. CSLI, Stanford (1988)
3. Adámek, J.: Free algebras and automata realizations in the language of categories. Comment. Math. Univ. Carolin. 15, 589–602 (1974)
4. Adámek, J., Rosický, J.: Locally presentable and accessible categories. Cambridge University Press (1994)
5. Barr, M.: Coequalizers and free triples. Math. Zeitschr. 116, 307–322 (1970)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras;Lecture Notes in Computer Science;2024
2. Steps and traces;Journal of Logic and Computation;2021-08-23
3. Steps and Traces;Coalgebraic Methods in Computer Science;2018
4. Coalgebraic Trace Semantics via Forgetful Logics;Lecture Notes in Computer Science;2015