Nominal Automata with Name binding - Schröder, Lutz; Kozen, Dexter; Milius, Stefan; Wißmann, Thorsten (Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), 2017)
Keywords: Nominal sets; automata over infinite alphabets; inclusion checking; coalgebra