Progress, Fairness and Justness in Process Algebra

Select |




Print


van Glabbeek, Robert; Höfner, Peter

van Glabbeek, Robert; Höfner, Peter


2015-01-15


Report


Australia


8501


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.


process algebra, fairness, justness, progress, Linear Temporal Logic


http://www.cse.unsw.edu.au/~rvg/pub/justness.pdf


This report has been placed on the CSIRO repository and may be made available to persons outside of CSIRO for non commercial purposes, in its entirety and without deletion of disclaimers and copyright information.


English


1833-9646-8501


nicta:8501


van Glabbeek, Robert; Höfner, Peter. Progress, Fairness and Justness in Process Algebra. 2015-01-15. nicta:8501.



Loading citation data...

Citation counts
(Requires subscription to view)