Compositionality of Fixpoint Logic with Chop.

Naijun Zhan, Jinzhao Wu

Browse the full ICTAC paper archive.