Communicating sequential processes
Communicating sequential processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGOPS Operating Systems Review
A Discipline of Programming
Sequential consistency and the lazy caching algorithm
Distributed Computing - Special issue: Verification of lazy caching
Extending Memory Consistency of Finite Prefixes to Infinite Computations
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Using Timestamping and History Variables to Verify Sequential Consistency
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Process Algebras for Network Communication
Fundamenta Informaticae
Process Algebras for Network Communication
Fundamenta Informaticae
Hi-index | 0.00 |
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.