Home›Articles›From logical clocks to TLA+: how Lamport made distributed systems checkableArticleFrom logical clocks to TLA+: how Lamport made distributed systems checkableArticlesConnectionsSourcesComments (0)Reader Challenges (0)ConnectionsArticle OnLeslie Lamport, Pioneers Well-attested SourcesWikipedia: Leslie Lamporttier 2Wikimedia FoundationCareer and research, Distributed systems, Temporal logic and LaTeX sectionsQuote, Career and research, Distributed systems, Temporal logic and LaTeX sectionsThey are among the most cited papers in the field of computer science, and describe algorithms to solve many fundamental problems in distributed systemsView the SourceComputing Atlas Original Articlestier 1Comments (0)No comments yet. Be the first to share a thought.Sign in to join the discussion.Reader Challenges (0)No disputes yet. Spotted an error or a better source? Open the first one.Sign in to dispute this or suggest a correction.