Formal analysis of suzuki&kasami distributed mutual exclusion algorithm (2002)

by K Ogata, K Futatsugi
Venue:In FMOODS’02