{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T16:53:21Z","timestamp":1753894401661,"version":"3.41.2"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>We propose a relaxation to the definition of well-structured transition\nsystems (\\WSTS) while retaining the decidability of boundedness and\nnon-termination. In this class, the well-quasi-ordered (wqo) condition is\nrelaxed such that it is applicable only between states that are reachable one\nfrom another. Furthermore, the monotony condition is relaxed in the same way.\nWhile this retains the decidability of non-termination and boundedness, it\nappears that the coverability problem is undecidable. To this end, we define a\nnew notion of monotony, called cover-monotony, which is strictly more general\nthan the usual monotony and still allows us to decide a restricted form of the\ncoverability problem.<\/jats:p>","DOI":"10.46298\/lmcs-20(2:12)2024","type":"journal-article","created":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T10:25:07Z","timestamp":1718187907000},"source":"Crossref","is-referenced-by-count":0,"title":["Branch-Well-Structured Transition Systems and Extensions"],"prefix":"10.46298","volume":"Volume 20, Issue 2","author":[{"given":"Benedikt","family":"Bollig","sequence":"first","affiliation":[]},{"given":"Alain","family":"Finkel","sequence":"additional","affiliation":[]},{"given":"Amrita","family":"Suresh","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2024,6,12]]},"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/13766\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/13766\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T10:25:07Z","timestamp":1718187907000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/10394"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,12]]},"references-count":0,"URL":"https:\/\/doi.org\/10.46298\/lmcs-20(2:12)2024","relation":{"has-preprint":[{"id-type":"arxiv","id":"2211.15913v2","asserted-by":"subject"},{"id-type":"arxiv","id":"2211.15913v1","asserted-by":"subject"}],"is-same-as":[{"id-type":"arxiv","id":"2211.15913","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.2211.15913","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2024,6,12]]},"article-number":"10394"}}