Paper: Categorical liveness checking by corecursive algebras (at LICS 2017)
Authors: Natsuki Urabe Masaki Hara Ichiro Hasuo
Abstract
No Abstract Available
BibTeX
@InProceedings{UrabeHaraHasuo-Categoricalliveness, author = {Natsuki Urabe and Masaki Hara and Ichiro Hasuo}, title = {Categorical liveness checking by corecursive algebras}, booktitle = {Proceedings of the Thirty second Annual IEEE Symposium on Logic in Computer Science (LICS 2017)}, year = {2017}, month = {June}, pages = {1--12}, location = {Reykjavik}, publisher = {IEEE Computer Society Press} }