Modelling Mutual Exclusion in a Process Algebra with Time-outs

Rob van Glabbeek

I show that in a standard process algebra extended with time-outs one can correctly model mutual exclusion in such a way that starvation-freedom holds without assuming fairness or…