Skip to main content


Progress, fairness and justness in process algebra


Rob van Glabbeek and Peter Hoefner




To prove liveness properties of concurrent systems, it is often necessary to postulate progress, fairness and justness properties. This paper investigates how the necessary progress, fairness and justness assumptions can be added to or incorporated in a standard process-algebraic specification formalism. We propose a formalisation that can be applied to a wide range of process algebras. The presented formalism is used to reason about route discovery and packet delivery in the setting of wireless networks.

BibTeX Entry

    author           = {van Glabbeek, Robert and Höfner, Peter},
    issn             = {1833-9646-8501},
    number           = {8501},
    month            = jan,
    year             = {2015},
    keywords         = {process algebra, fairness, justness, progress, linear temporal logic},
    title            = {Progress, Fairness and Justness in Process Algebra},
    type             = {Technical Report},
    institution      = {NICTA},
    address          = {Australia}


Served by Apache on Linux on seL4.
Served by Apache on Linux on seL4.