Searching for "Using CSP to Verify Sequential Consistency." – sorted by Relevance.
-
Using CSP to verify sequential consistency
- Distrib. Comput. (1999) 12: 91–103 Using CSP to verify sequential consistency Gavin Lowe 1 , Jim
- Cited by 5 (0 self) – Add To MetaCart

