3 ms·

Lamport used EWD123 [0] as his foundation. [0] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD01xx/EWD123.html https://www.cs.utexas.edu/users/EWD/trans

by mycall 6y ago

Lamport used EWD123 [0] as his foundation. [0] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD01xx/EWD123.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD01xx/E...

monocasa 6y ago
Lamport took inspiration from many sources.