Automated Analysis of Mutual Exclusion Algorithms using CCS

D J Walker

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.

A revised version of this report was published as ``Automated analysis of mutual exclusion algorithms using CCS'' in Formal Aspects of Computing (1989) 1: pp.273--292.


Previous | Index | Next