When a system is fairly correct

Abstract

characterisation of fairness. We also derive a notion of a fairly correct system and sketch its application