Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory

View/Open

Submitted version (910.6Kb)

Volume

36

DOI

10.1145/2627752

Journal

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS

Issue

2

ISSN

0164-0925

Metadata

Show full item record

Authors

Alglave, J; Maranget, L; Tautschnig, M

URI

http://qmro.qmul.ac.uk/xmlui/handle/123456789/11250

Collections

Electronic Engineering and Computer Science [2816]

Copyright statements

© 2014, Association for Computing Machinery, Inc.