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]

@article{MiliusSW16,
  title = {Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets},
  author = {Stefan Milius and Lutz Schröder and Thorsten Wißmann},
  year = {2016},
  doi = {10.1007/s10485-016-9457-8},
  url = {http://dx.doi.org/10.1007/s10485-016-9457-8},
  researchr = {https://researchr.org/publication/MiliusSW16},
  cites = {0},
  citedby = {0},
  journal = {Applied Categorical Structures},
  volume = {24},
  number = {5},
  pages = {663-701},
}