Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets - Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten (Applied Categorical Structures, 2016)
Keywords: Nominal sets; rational fixpoints; regular languages; coalgebra