5 results
Jiří Adámek ; Stefan Milius ; Lawrence S Moss ; Lurdes Sousa.
For endofunctors of varieties preserving intersections, a new description of the final coalgebra and the initial algebra is presented: the former consists of all well-pointed coalgebras. These are the pointed coalgebras having no proper subobject and no proper quotient. The initial algebra consists […]
Published on August 9, 2013
Jiri Adamek ; Stefan Milius ; Jiri Velebil.
Higher-order recursion schemes are recursive equations defining new operations from given ones called "terminals". Every such recursion scheme is proved to have a least interpreted semantics in every Scott's model of \lambda-calculus in which the terminals are interpreted as continuous operations. […]
Published on April 1, 2011
Stefan Milius ; Lawrence S Moss ; Daniel Schwencke.
Terminal coalgebras for a functor serve as semantic domains for state-based systems of various types. For example, behaviors of CCS processes, streams, infinite trees, formal languages and non-well-founded sets form terminal coalgebras. We present a uniform account of the semantics of recursive […]
Published on September 30, 2013
Thorsten Wißmann ; Ulrich Dorsch ; Stefan Milius ; Lutz Schröder.
We present a generic partition refinement algorithm that quotients coalgebraic systems by behavioural equivalence, an important task in system analysis and verification. Coalgebraic generality allows us to cover not only classical relational systems but also, e.g. various forms of weighted systems […]
Published on January 31, 2020
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