Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems

Bruno Courcelle
Igor Walukiewicz

August 1995

Abstract:

We 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.

Available as PostScript, PDF.

 

Last modified: 2003-06-08 by webmaster.