Lamport

1. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
   1979/09/01 by Lamport · 50 citations
   Computer Science · #Parallel Computing and Optimization Techniques #Logic, programming, and type systems #Embedded Systems Design Techniques