Using CSP to Verify Sequential Consistency (Distributed Computing, 1999)

(untitled) - Lowe, G; Davies, J