Lattice-theoretic progress measures and coalgebraic model checking

Article Details
Title:	Lattice-theoretic progress measures and coalgebraic model checking
Article URLs:	https://doi.org/10.1145/2837614.2837673
Alternative Article URLs:
Authors:	Ichiro Hasuo	University of Tokyo, Japan
	Shunsuke Shimizu	University of Tokyo, Japan
	Corina Cîrstea	University of Southampton, UK
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/popl/HasuoSC16
Author Comments:

ACM Principles of Programming Languages, POPL 2016