Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Using CSP to Verify Sequential Consistency

Using CSP to Verify Sequential Consistency

Gavin Lowe and Jim Davies

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

Links

See Also

Back to Top