Processor specification without a memory model Arvind Computer Science & Artificial Intelligence Lab. Massachusetts Institute of Technology joint work.
Execution Replay for Multiprocessor Virtual Machines George W. Dunlap Dominic Lucchetti Michael A. Fetterman Peter M. Chen.
Eventually Consistent Transactions ESOP 2012
Distributed Shared Memory and Sequential Consistency.
Distributed Shared Memory and Sequential Consistency