Using CSP to verify sequential consistency
- 36 Downloads
This paper shows how the theory of Communicating Sequential Processes (CSP) can be used to establish that a protocol guarantees sequential consistency. The protocol in question is an accepted design based upon lazy caching; it is an ideal example for the comparison of different formal description techniques.
Unable to display preview. Download preview PDF.