Branch-Well-Structured Transition Systems and Extensions
We propose a relaxation to the definition of well-structured transition systems (WSTS) while retaining the decidability of boundedness and non-termination.In this class, the well-quasi-ordered (wqo) condition is relaxed such that it is applicable only between states that are reachable one frizz ease air dry waves from another.Furthermore, the monot