dc.contributor.author | Alglave, J | en_US |
dc.contributor.author | Maranget, L | en_US |
dc.contributor.author | Tautschnig, M | en_US |
dc.date.accessioned | 2016-02-24T11:16:37Z | |
dc.date.issued | 2014-07 | en_US |
dc.date.submitted | 2016-01-02T12:46:54.369Z | |
dc.identifier.issn | 0164-0925 | en_US |
dc.identifier.other | ARTN 7 | en_US |
dc.identifier.other | ARTN 7 | en_US |
dc.identifier.other | ARTN 7 | en_US |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/11250 | |
dc.language.iso | en | en_US |
dc.relation.ispartof | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | en_US |
dc.subject | Theory | en_US |
dc.subject | Experimentation | en_US |
dc.subject | Verification | en_US |
dc.subject | Concurrency | en_US |
dc.subject | weak memory models | en_US |
dc.subject | software verification | en_US |
dc.title | Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory | en_US |
dc.type | Article | |
dc.rights.holder | © 2014, Association for Computing Machinery, Inc. | |
dc.identifier.doi | 10.1145/2627752 | en_US |
pubs.author-url | http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000339861300003&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=612ae0d773dcbdba3046f6df545e9f6a | en_US |
pubs.issue | 2 | en_US |
pubs.notes | No embargo | en_US |
pubs.publication-status | Published | en_US |
pubs.volume | 36 | en_US |