Comment by rbjorklin

Would you mind sharing some more specific information/references to Lamport’s work?