@inproceedings{ae38d26211814914a622866843bdea90,
title = "Consistent consequence for Boolean equation systems",
abstract = "Inspired by the concept of a consistent correlation for Boolean equation systems, we introduce and study a novel relation, called consistent consequence. We show that it can be used as an approximation of the solution to an equation system. For the closed, simple and recursive fragment of equation systems we prove that it coincides with direct simulation for parity games. In addition, we show that deciding both consistent consequence and consistent correlations are coNP-complete problems, and we provide a sound and complete proof system for consistent consequence. As an application, we define a novel abstraction mechanism for parameterised Boolean equation systems and we establish its correctness using our theory.",
author = "M.W. Gazda and T.A.C. Willemse",
year = "2012",
doi = "10.1007/978-3-642-27660-6\_23",
language = "English",
isbn = "978-3-642-27659-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "277--288",
editor = "M. Bielikov{\'a} and G. Friedrich and G. Gottlob and S. Katzenbeisser and G. Tur{\'a}n",
booktitle = "SOFSEM 2012: Theory and Practice of Computer Science (38th Conference on Currents Trends, Spindleruv Mlyn, Czech Republic, January 21-27, 2012. Proceedings)",
address = "Germany",
}