Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion

Milius S, Litak T (2017)

Publication Type: Journal article

Publication year: 2017

Journal

Fundamenta Informaticae IOS Press

Pages Range: 407-449

Journal Issue: 150

URI: http://arxiv.org/abs/1603.05214

DOI: 10.3233/FI-2017-1475

Authors with CRIS profile

Stefan Milius Lehrstuhl für Informatik 8 (Theoretische Informatik) Tadeusz Litak Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

Coinduction Meets Algebra For the Axiomatization of System Equivalence (COAX) Oct. 1, 2014 - July 31, 2018

How to cite

APA:

Milius, S., & Litak, T. (2017). Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion. Fundamenta Informaticae, 150, 407-449. https://dx.doi.org/10.3233/FI-2017-1475

MLA:

Milius, Stefan, and Tadeusz Litak. "Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion." Fundamenta Informaticae 150 (2017): 407-449.

BibTeX: Download