A concurrent system is persistent if throughout its operation no activity which became
enabled can subsequently be prevented from being executed by any other activity. This is …

Persistence is a widely investigated fundamental property of concurrent systems, which was
extended in many ways. We propose a unified characterisation of several notions …

In this paper we investigate the behaviour of GALS (Globally Asynchronous Locally
Synchronous) systems in the context of VLSI circuits. The specification of a system is given …

The notion of persistence, based on the rule" no action can disable another one" is one of
the classical notions in concurrency theory. It is also one of the issues discussed in the Petri …

Persistency is one of the notions widely investigated due to its application in concurrent
systems. The classical notion refers to nets with a standard sequential semantics. We will …

The design and analysis of concurrent computing systems is often concerned with
fundamental behavioural properties involving system activities, eg, boundedness, liveness …