UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

The semantics of x86-CC multiprocessor machine code

Sarkar, S and Sewell, P and Nardelli, FZ and Owens, S and Ridge, T and Braibant, T and Myreen, MO and Alglave, J (2009) The semantics of x86-CC multiprocessor machine code. Conference Record of the Annual ACM Symposium on Principles of Programming Languages 379 - 391.

Full text not available from this repository.


Type:Article
Title:The semantics of x86-CC multiprocessor machine code
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record