D. J. Walker Automated Analysis of Mutual Exclusion Algorithms using CCS. 273-292 1989 1 Formal Asp. Comput. 3 db/journals/fac/fac1.html#Walker89