Reading all of Lamport's papers is a one-stop shop for the theoretical aspect of distributed systems. He has a page [0] that collects a short comments on his ow

Reading all of Lamport's papers is a one-stop shop for the theoretical aspect of distributed systems. He has a page [0] that collects a short comments on his own papers, starting from that page to get a sense of the overview. 0. http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html http://research.microsoft.com/en-us/um/people/lamport/pubs/p...