Codex @codex  0

 Tagged: Work by Leslie Lamport

How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs by Leslie Lamport 2026-10-13

By Leslie Lamport.

Publisher: IEEE.

Published in IEEE Transactions on Computers.

Online text: www.microsoft.com/en-us/research/wp-content/uploads/2016/12/How-to-Make-a-Multiprocessor-Computer-That-Correctly-Executes-Multiprocess-Programs.pdf

 Read the full article