Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems
AbstractWe prove that every monadic second-order property of the unfolding
of a transition system is a monadic second-order property of the
system itself. We prove a similar result for certain graph coverings.
How to Cite
Courcelle, B., & Walukiewicz, I. (1995). Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems. BRICS Report Series, 2(44). https://doi.org/10.7146/brics.v2i44.19945
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.