Leslie Lamport awarded Turing Award