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 |