A New Foundation for Finitary Corecursion: The Locally Finite Fixpoint and its Properties (bibtex)

by Stefan Milius, Dirk Pattinson and Thorsten Wißmann

Reference:

Stefan Milius, Dirk Pattinson and Thorsten Wißmann: A New Foundation for Finitary Corecursion: The Locally Finite Fixpoint and its Properties, In Bart Jacobs, Christof Löding, eds.: Proc. Foundations of Software Science and Computation Structures (FoSSaCS), Lecture Notes Comput. Sci. (ARCoSS), vol. 9634, pp. 107–125, Springer, 2016. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-49630-5_7.

Bibtex Entry:

@string{springer="Springer"}
@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},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Foundations of Software Science and Computation Structures (FoSSaCS)},
  year = 	 {2016},
  editor = 	 {Bart Jacobs and Christof L\"oding},
  volume = 	 {9634},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci. (ARCoSS)},
  pages = 	 {107--125},
  doi       = {10.1007/978-3-662-49630-5_7},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-49630-5_7">http://dx.doi.org/10.1007/978-3-662-49630-5_7</a>.},
  OPTnote = 	 {},
  OPTannote = 	 {}
}