2 results
Jiří Adámek ; Mahdie Haddadi ; Stefan Milius.
An algebra is called corecursive if from every coalgebra a unique coalgebra-to-algebra homomorphism exists into it. We prove that free corecursive algebras are obtained as coproducts of the terminal coalgebra (considered as an algebra) and free algebras. The monad of free corecursive algebras is […]
Published on September 11, 2014
Thorsten Wißmann ; Stefan Milius ; Lutz Schröder.
We provide a generic algorithm for constructing formulae that distinguish behaviourally inequivalent states in systems of various transition types such as nondeterministic, probabilistic or weighted; genericity over the transition type is achieved by working with coalgebras for a set functor in the […]
Published on November 17, 2022