Tag: interprocess communication

Episode 203: Leslie Lamport on Distributed Systems

Filed in Episodes by on April 29, 2014 3 Comments
Episode 203: Leslie Lamport on Distributed Systems

Leslie Lamport spoke with SE Radio host Jeff Meyerson. Lamport won a Turing Award in 2013 for his work in distributed and concurrent systems. He also designed the document preparation tool LaTex. Leslie is employed by Microsoft Research, and has recently been working with TLA+, a language that is useful for specifying concurrent systems from […]

Continue Reading »