Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion (bibtex)
by Stefan Milius, Tadeusz Litak
Reference:
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion (Stefan Milius, Tadeusz Litak), In Fundamenta Informaticae, vol. 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},
}
Powered by bibtexbrowser