Diversity and adjudication
This paper is the first to look at abstract properties of adjudication operators, which decide on how to combine multiple outcomes from different implementations of the same functionality. The article provides a starting point for refinement that improves dependability through replication. Adjudication operators can be viewed as a general class that includes non-deterministic and probabilistic choice.
adjudication dependability n-version programming versions