A classification of the expressive power of well-structured transition systems

Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin. A classification of the expressive power of well-structured transition systems. Inf. Comput., 209(3):248-279, 2011. [doi]

Abstract

Abstract is missing.