Analysis of the Four-slot Mechanism
Phillip J. Brooke, Jeremy L. Jacob, James M. Armstrong · Electronic workshops in computing · 1996
This paper presents an analysis of an asynchronous communication mechanism due to Simpson [4]. The properties required of an abstract version of the mechanism are discussed. Simpson’s mechanism is described in terms of a process algebraic model. We then use automated techniques to test this mechanism against the properties stated.