Checking a Mutex Algorithm in a Process Algebra with Fairness.

Flavio Corradini Maria Rita Di Berardini Walter Vogler Checking a Mutex Algorithm in a Process Algebra with Fairness. 142-157 2006 conf/concur/2006 CONCUR http://dx.doi.org/10.1007/11817949_10 db/conf/concur/concur2006.html#CorradiniBV06