On Decidability of Persistence Notions.
Kamila Barylska, Łukasz Mikulski · CS&P · 2015
Persistence is a widely investigated fundamental property of concurrent systems, which was extended in many ways. We propose a unified characterisation of several notions considered in the literature. The main result of the paper is a detailed description of a general and extendable framework that allows to state decision problems for different persistence notions (well known as well as newly formulated) and prove their decidability.