Fixpoint Games on Continuous Lattices


Paolo Baldan, Barbara König, Christina Mika-Michalski, and Tommaso Padoan. Fixpoint games on continuous lattices. PACMPL (Proc. of POPL '19), 3:26:1–26:29, 2019.

Suggested BibTeX entry:

    author = {Paolo Baldan and Barbara K\"onig and Christina Mika-Michalski and Tommaso Padoan},
    journal = {{PACMPL} (Proc. of POPL '19)},
    pages = {26:1--26:29},
    publisher = {ACM},
    title = {Fixpoint Games on Continuous Lattices},
    volume = {3},
    year = {2019}

See ...Extended version
© University of Duisburg-Essen, Theoretical Computer Science group