How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs

https://www.microsoft.com/en-us/research/publication/make-multiprocessor-computer-correctly-executes-multiprocess-programs/