92 citations · 192 across the 19 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Fractals from Regular Behaviours
Todd Schmid, Victoria Noquez, Lawrence S. Moss
We forge connections between the theory of fractal sets obtained as attractors of iterated function systems and process calculi. To this end, we reinterpret Milner's expressions fo…
cs.LO2023
Terminal Coalgebras in Countably Many Steps
Jiří Adámek, Stefan Milius, Lawrence S. Moss
We present a collection of results that imply that an endofunctor on a category has a terminal coalgebra obtainable as a countable limit of its terminal-coalgebra chain. This holds…