Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets

Stefan Milius, Lutz Schröder, Thorsten Wißmann. Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets. Applied Categorical Structures, 24(5):663-701, 2016. [doi]

Abstract

Abstract is missing.