Categorical liveness checking by corecursive algebras.

Natsuki Urabe, Masaki Hara, Ichiro Hasuo

Browse the full LICS paper archive.