Conference contribution


A New Foundation for Finitary Corecursion


Publication Details
Author(s): Milius S, Pattinson D, Wißmann T
Publication year: 2016
Title of series: Lecture Notes in Computer Science
Volume: 9634
Conference Proceedings Title: Foundations of Software Science and Computation Structures
Pages range: 107-125
ISBN: 978-3-662-49629-9
ISSN: 0302-9743
Event: 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)
Event location: Eindhoven, The Netherlands



How to cite
APA: Milius, S., Pattinson, D., & Wißmann, T. (2016). A New Foundation for Finitary Corecursion. In Foundations of Software Science and Computation Structures (pp. 107-125).

MLA: Milius, Stefan, Dirk Pattinson, and Thorsten Wißmann. "A New Foundation for Finitary Corecursion." Proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Eindhoven, The Netherlands 2016. 107-125.

BibTeX: Download
Share link
Last updated on 2017-07-26 at 03:33
PDF downloaded successfully