Well-structured transition systems everywhere!

Alain Finkel, Ph. Schnoebelen. Well-structured transition systems everywhere!. Theoretical Computer Science, 256(1-2):63-92, 2001. [doi]

Abstract

Abstract is missing.