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

Reference:

Stefan Milius and Tadeusz Litak: Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion, In Fundamenta Informaticae, 150, pp. 407–449, 2017. special issue FiCS'13 edited by David Baelde, Arnaud Carayol, Ralph Matthes and Igor Walukiewicz

Bibtex Entry:

@article{MiliusL17:fi,
  author    = {Stefan Milius and
               Tadeusz Litak},
  title     = {Guard Your Daggers and Traces: Properties
               of Guarded (Co-)recursion},
  year = {2017},             
  volume = {150},
  doi = {10.3233/FI-2017-1475},
  pages = {407--449},
  journal   = {Fundamenta Informaticae},
  url = {http://arxiv.org/abs/1603.05214}, 
  note     = {special issue FiCS'13 edited by  David Baelde,
               Arnaud Carayol, Ralph Matthes and Igor Walukiewicz},
}