Asynchronous Unfold/Fold Transformation for Fixpoint Logic.

Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato

Browse the full FLOPS paper archive.