A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties (bibtex)
by Stefan Milius, Dirk Pattinson, Thorsten Wißmann
Reference:
A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties (Stefan Milius, Dirk Pattinson, Thorsten Wißmann), In Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 107–125, 2016.
Bibtex Entry:
@inproceedings{mpw16,
  author    = {Stefan Milius and
               Dirk Pattinson and
               Thorsten Wi{\ss}mann},
  title     = {A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint
               and Its Properties},
  booktitle = {Foundations of Software Science and Computation Structures - 19th
               International Conference, {FOSSACS} 2016, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
               Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  pages     = {107--125},
  year      = {2016},
  Xcrossref  = {DBLP:conf/fossacs/2016},
  url       = {http://arxiv.org/abs/1601.01532},
  doi       = {10.1007/978-3-662-49630-5_7},
}
Powered by bibtexbrowser