Least fixed point of a functor, J. Comput. Syst. Sci, vol.19, issue.2, pp.90026-90032, 1979. ,
Fixed points of functors, Journal of Logical and Algebraic Methods in Programming, vol.95, pp.41-81, 2018. ,
Rudiments of µ-Calculus, Studies in Logic and the Foundations of Mathematics, 2001. ,
Handbook of Categorical Algebra, Encyclopedia of Mathematics and its Applications, vol.1, 1994. ,
Stream automata are coalgebras, Proc. CMCS 2012, vol.7399, pp.90-108, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01539881
Faster model checking for the modal mucalculus, Proc. CAV '92, vol.663, pp.410-422, 1992. ,
Fundamental properties of infinite trees, Theor. Comput. Sci, vol.25, issue.83, pp.90059-90061, 1983. ,
Fair simulation relations, parity games, and state space reduction for Büchi automata, SICOMP, vol.34, issue.5, pp.1159-1175, 2005. ,
Representations of stream processors using nested fixed points, Logical Methods in Computer Science, vol.5, issue.3, 2009. ,
Context-free languages via coalgebraic trace semantics, Proc. CALCO 2005, vol.3629, pp.213-231, 2005. ,
Generic trace semantics via coinduction, Logical Methods in Computer Science, vol.3, issue.4, 2007. ,
Trace semantics for coalgebras, Electr. Notes Theor. Comput. Sci, vol.106, pp.167-184, 2004. ,
, Introduction to Coalgebra: Towards Mathematics of States and Observation. Cambridge Tracts in Theoret. Comp. Sci, 2016.
, Completely iterative algebras and completely iterative monads. Information and Computation, vol.196, pp.1-41, 2005.
Lifting theorems for Kleisli categories, Proc. MFPS IX, vol.802, pp.304-319, 1993. ,
A coalgebraic foundation for linear time semantics, Electr. Notes Theor. Comput. Sci, vol.29, pp.259-274, 1999. ,
Languages, Automata, and Logic, pp.389-455, 1997. ,
Coalgebraic infinite traces and Kleisli simulations, 2015. ,
, Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. LMCS, vol.13, 2017.
Categorical Büchi and parity conditions via alternating fixed points of functors, 2018. ,
Coalgebraic trace semantics for Büchi and parity automata, :15. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, vol.59, pp.1-24, 2016. ,