The Stanford Dash Multiprocessor
Computer
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGOPS Operating Systems Review
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
Distributed Computing - Special issue: Verification of lazy caching
Using CSP to verify sequential consistency
Distributed Computing - Special issue: Verification of lazy caching
Proving refinement using transduction
Distributed Computing - Special issue: Verification of lazy caching
Distributed Computing - Special issue: Verification of lazy caching
Hi-index | 0.00 |
I introduce and discuss sequential consistency, a relaxed memory model, and define what it means for a protocol to implement sequential consistency. Then, I introduce the lazy caching protocol of Afek, Brown and Merrit [ABM93] and formalize it as a labeled transition system.