Title: Analysing mutual exclusion algorithms using CCS