![Theoretical computer science / Cognitive science / Logic in computer science / Computing / Actor model / Concurrent computing / Consistency model / Semantics / Memory / Stable model semantics Theoretical computer science / Cognitive science / Logic in computer science / Computing / Actor model / Concurrent computing / Consistency model / Semantics / Memory / Stable model semantics](https://www.pdfsearch.io/img/5c29b2c2be278b6ee8d034cf787a0f1b.jpg) 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 Website File Size: 958,59 KBShare Document on Facebook
|