Skip to main content

Using CSP to Verify Sequential Consistency

Gavin Lowe and Jim Davies

Journal
Distributed Computing
Number
2−3
Pages
91−103
Volume
12
Year
1999