Automated analysis of mutual exclusion algorithms using CCS
D. J. Walker · Formal Aspects of Computing · 1989
Abstract A number of mutual exclusion algorithms are studied by representing them as agents in the Calculus of Communicating Systems and using an automated tool embodying some of the theory of the Calculus to analyse the representations. It is determined whether or not each of the algorithms preserves mutual exclusion and is live.