Back to Results
First PageMeta 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 London
Add to Reading List

Open Document

File Size: 958,59 KB

Share Result on Facebook
UPDATE