Categorical liveness checking by corecursive algebras | IEEE Conference Publication | IEEE Xplore