Well-structured transition systems everywhere!

  title={Well-structured transition systems everywhere!},
  author={Alain Finkel and Philippe Schnoebelen},
  journal={Theor. Comput. Sci.},
Well-structured transition systems (WSTSs) are a general class of in-nite-state systems for which decidability results rely on the existence of a well-quasi-ordering between states that is compatible with the transitions. In this article, we provide an extensive treatment of the WSTS idea and show several new results. Our improved de-nitions allow many examples of classical systems to be seen as instances of WSTSs. c © 2001 Elsevier Science B.V. All rights reserved. 
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 727 citations. REVIEW CITATIONS

2 Figures & Tables



Citations per Year

728 Citations

Semantic Scholar estimates that this publication has 728 citations based on the available data.

See our FAQ for additional information.