Flavio Corradini Maria Rita Di Berardini Walter Vogler Liveness of a mutex algorithm in a fair process algebra. 209-235 2009 46 Acta Inf. 3 http://dx.doi.org/10.1007/s00236-009-0092-9 db/journals/acta/acta46.html#CorradiniBV09