Formally modeling and verifying Ricart&Agrawala distributed mutual exclusion algorithm (2001)

by K Ogata, Futatsugi
Venue:In: APAQS ’01, IEEE CS