Open AccessAnalysis of the Four-slot Mechanism
Author(s) -
Phillip J. Brooke,
Jeremy Jacob,
James Armstrong
Publication year - 1996
Publication title -
electronic workshops in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 1477-9358
DOI - 10.14236/ewic/fa1996.3
Subject(s) - mechanism (biology) , computer science , asynchronous communication , process (computing) , programming language , telecommunications , philosophy , epistemology
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom