On fairness in terminating and reactive programs

Abstract

In the setting of boundedly nondeterministic action systems, we give a general definition of the notion of fairness. We provide results that support the top-down development of fair designs and extend them from terminating action systems to non-terminating action systems. One strength of our approach is the similarity of the results to those used for the standard developments. Another is the generality of the notion of fairness which it captures.