@inproceedings{10.1007/978-3-031-08679-3_4,
    Abstract = {We propose a relaxation to the definition of a well-structured transition systems (WSTS) while retaining the decidability of boundedness and termination. In this class, we ease the well-quasi-ordered (wqo) condition to be applicable only between states that are reachable one from another. Furthermore, we also relax the monotony condition in the same way. While this retains the decidability of termination and boundedness, it appears that the coverability problem is undecidable. To this end, we define a new notion of monotony, called cover-monotony, which is strictly more general than the usual monotony and still allows to decide a restricted form of the coverability problem.},
    Address = {Cham},
    Author = {Bollig, Benedikt and Finkel, Alain and Suresh, Amrita},
    BookTitle = {Formal Techniques for Distributed Objects, Components, and Systems},
    Editor = {Mousavi, Mohammad Reza and Philippou, Anna},
    ISBN = {978-3-031-08679-3},
    Pages = {50--66},
    Publisher = {Springer International Publishing},
    Title = {Branch-Well-Structured Transition Systems and Extensions},
    Year = {2022},
    date-added = {2022-07-01 15:21:37 +0200},
    date-modified = {2022-07-01 15:21:37 +0200},
    doi = {10.1007/978-3-031-08679-3_4}
}

@inproceedings{10.1007/978-3-031-08679-3_4, Abstract = {We propose a relaxation to the definition of a well-structured transition systems (WSTS) while retaining the decidability of boundedness and termination. In this class, we ease the well-quasi-ordered (wqo) condition to be applicable only between states that are reachable one from another. Furthermore, we also relax the monotony condition in the same way. While this retains the decidability of termination and boundedness, it appears that the coverability problem is undecidable. To this end, we define a new notion of monotony, called cover-monotony, which is strictly more general than the usual monotony and still allows to decide a restricted form of the coverability problem.}, Address = {Cham}, Author = {Bollig, Benedikt and Finkel, Alain and Suresh, Amrita}, BookTitle = {Formal Techniques for Distributed Objects, Components, and Systems}, Editor = {Mousavi, Mohammad Reza and Philippou, Anna}, ISBN = {978-3-031-08679-3}, Pages = {50--66}, Publisher = {Springer International Publishing}, Title = {Branch-Well-Structured Transition Systems and Extensions}, Year = {2022}, date-added = {2022-07-01 15:21:37 +0200}, date-modified = {2022-07-01 15:21:37 +0200}, doi = {10.1007/978-3-031-08679-3_4} }