S. Milius, Proper functors and fixed points for finite behaviour (), submitted

S. Milius, Proper functors and their rational fixed point, Proc. th Conference on Algebra and Coalgebra in Computer Science (CALCO'). LIPIcs

S. Milius, D. Pattinson, and T. Wißmann, A new foundation for finitary corecursion and iterative algebras, submitted

S. Milius, D. Pattinson, and T. Wißmann, A new foundation for finitary corecursion: The locally finite fixpoint and its properties, Proc. FoSSaCS

S. Milius, L. Schröder, and T. Wißmann, Regular behaviours with names: On rational fixpoints of endofunctors on nominal sets, Appl. Categ. Structures (

S. Milius and T. Wißmann, Finitary corecursion for the infinitary lambda calculus, Proc. CALCO'. LIPIcs

E. Nelson, G. D. Plotkin, and D. Turi, Towards a mathematical operational semantics, Proc. Logic in Computer Science (LICS')

L. Rédei, The Theory of Finitely Generated Commutative Semigroups

A. Silva, F. Bonchi, M. M. Bonsangue, and J. J. Rutten, Generalizing determinization from automata to coalgebras, Log. Methods Comput. Sci
URL : https://hal.archives-ouvertes.fr/hal-00909339

A. Sokolova and H. Woracek, Congruences of convex algebras, J. Pure Appl. Algebra (

A. Sokolova and H. Woracek, Proper semirings and proper convex functors. Tech. Rep. /, Institute for Analysis and Scientific Computing-Vienna University of Technology, Theoret. Comput. Sci

H. Urbat, Finite behaviours and finitary corecursion, Proc. CALCO'. LIPIcs