Checking a Mutex Algorithm in a Process Algebra with Fairness.

Flavio Corradini, Maria Rita Di Berardini, Walter Vogler

Browse the full CONCUR paper archive.