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

Paolo Baldan, Barbara Knig, Tommaso Padoan

Browse the full CONCUR paper archive.