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}
}
