Fixpoint Games on Continuous Lattices

Reference

Paolo Baldan, Barbara König, Christina Mika-Michalski, and Tommaso Padoan. Fixpoint games on continuous lattices, 2018. arXiv:1810.11404.

Suggested BibTeX entry:

@misc{BKMP18,
    author = {Paolo Baldan and Barbara K\"onig and Christina Mika-Michalski and Tommaso Padoan},
    note = {arXiv:1810.11404},
    title = {Fixpoint Games on Continuous Lattices},
    year = {2018}
}

See arxiv.org ...Journal version