Global Caching for the Alternation-free Coalgebraic µ-calculus (bibtex)

by Daniel Hausmann, Lutz Schröder and Christoph Egger

Reference:

Daniel Hausmann, Lutz Schröder and Christoph Egger: Global Caching for the Alternation-free Coalgebraic µ-calculus, In Concurrency Theory, CONCUR 2016, LIPIcs, vol. 59, pp. 34:1–34:15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016.

Bibtex Entry:

@string{lipics="LIPIcs"}
@InProceedings{HausmannEA16,
  author = {Daniel Hausmann and Lutz Schr\"oder and Christoph Egger},
  title = {Global Caching for the Alternation-free Coalgebraic µ-calculus},
  booktitle = {Concurrency Theory, CONCUR 2016},
  year = {2016},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  url = {http://drops.dagstuhl.de/opus/volltexte/2016/6172/},
  pages = {34:1-34:15},
  volume = {59},
  }