Abstraction, Up-to Techniques and Games for Systems of Fixpoint ...

Reference

Paolo Baldan, Barbara König, and Tommaso Padoan. Abstraction, up-to techniques and games for systems of fixpoint equations. In Proc. of CONCUR '20, volume 171 of LIPIcs, pages 25:1–25:20. Schloss Dagstuhl – Leibniz Center for Informatics, 2020.

Suggested BibTeX entry:

@inproceedings{BKP20b,
    author = {Paolo Baldan and Barbara K\"onig and Tommaso Padoan},
    booktitle = {Proc. of CONCUR '20},
    pages = {25:1--25:20},
    publisher = {Schloss Dagstuhl -- Leibniz Center for Informatics},
    series = {{LIPIcs}},
    title = {Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations},
    volume = {171},
    year = {2020}
}



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