Lattice-theoretic progress measures and coalgebraic model checking.

Ichiro Hasuo, Shunsuke Shimizu, Corina Crstea

Browse the full POPL paper archive.