First Page | Document Content | |
---|---|---|
Theoretical computer science Cognitive science Logic in computer science Computing Actor model Concurrent computing Consistency model Semantics Memory Stable model semantics | A Herding cats: Modelling, Simulation, Testing, and Data-mining for Weak Memory Jade Alglave, University College London Luc Maranget, INRIA Michael Tautschnig, Queen Mary University of LondonAdd to Reading ListSource URL: www0.cs.ucl.ac.ukDownload Document from Source WebsiteFile Size: 958,59 KBShare Document on Facebook |