Ludmila Cherkasova;Rodney R. Howell;Louis E. Rosier
Hewlett-Packard Labs, Palo Alto, CA;Kansas State Univ., Manhattan, KS;Univ. of Texas at Austin, Austin
Decidability analysis of self-stabilization for infinite-state systems
Fundamenta Informaticae
Decidability Analysis of Self-Stabilization for Infinite-State Systems