Model-checking games for fixpoint logics with partial order models

Julian Gutierrez, Julian C. Bradfield. Model-checking games for fixpoint logics with partial order models. Inf. Comput., 209(5):766-781, 2011. [doi]

Abstract

Abstract is missing.