Laslie Lamport is very influential in the field of distributed computation, here is his quote: "A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable'' is a famous Lamport quip. I would suggest to check the article about him. he's trying to formalize that field, which is very hard. So try to find out his works and research his contributions to the field. Even classical distributed computation is still active area of research (especially it's formal verification).
math boy
- 381
- 1
- 12