Well-structured transition systems everywhere!

@article{Finkel2001WellstructuredTS,
  title={Well-structured transition systems everywhere!},
  author={Alain Finkel and Philippe Schnoebelen},
  journal={Theor. Comput. Sci.},
  year={2001},
  volume={256},
  pages={63-92}
}
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

Topic

Statistics

020406080'00'02'04'06'08'10'12'14'16'18
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.