Using CSP to Verify Sequential Consistency
Gavin Lowe and Jim Davies
Details
| Journal |
Distributed Computing |
| Number |
2−3 |
| Pages |
91−103 |
| Volume |
12 |
| Year |
1999 |
Links
Related pages
|
People |