Title: Weak Memory Consistency in Distributed Computation