Alglave, J;
Maranget, L;
Sarkar, S;
Sewell, P;
(2010)
Fences in Weak Memory Models.
In: Touili, T and Cook, B and Jackson, P, (eds.)
(Proceedings) 22nd International Conference on Computer Aided Verification.
(pp. 258-+).
SPRINGER-VERLAG BERLIN
| Type: | Proceedings paper |
|---|---|
| Title: | Fences in Weak Memory Models |
| Event: | 22nd International Conference on Computer Aided Verification |
| Location: | Edinburgh, SCOTLAND |
| Dates: | 15 July 2010 - 19 July 2010 |
| ISBN-13: | 978-3-642-14294-9 |
| DOI: | 10.1007/978-3-642-14295-6_25 |
| Keywords: | Science & Technology, Technology, Computer Science, Theory & Methods, Computer Science |
| URI: | http://discovery.ucl.ac.uk/id/eprint/1366415 |
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
 |
View Item |