Flavio Corradini Maria Rita Di Berardini Walter Vogler Fairness of Actions in System Computations. 73-130 2006 43 Acta Inf. 2 http://dx.doi.org/10.1007/s00236-006-0011-2 db/journals/acta/acta43.html#CorradiniBV06