Description

Book Synopsis
Offers a celebration of Leslie Lamport’s work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant.

Table of Contents
  • Preface
  • Photo and Text Credits
  • Introduction
  • The Computer Science of Concurrency: The Early Years
  • PART I TECHNICAL PERSPECTIVES ON LAMPORT'S WORK
    • Shared Memory and the Bakery Algorithm
    • The Notions of Time and Global State in a Distributed System
    • Byzantine Faults
    • State Machine Replication with Benign Failures
    • Formal Specification and Verification
    • Biography
  • PART II SELECTED PAPERS
    • A New Solution of Dijkstra's Concurrent Programming Problem
    • Time, Clocks, and the Ordering of Events in a Distributed System
    • How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
    • The Byzantine Generals Problem
    • The Mutual Exclusion Problem: Part I—A Theory of Interprocess Communication
    • The Mutual Exclusion Problem: Part II—Statement and Solutions
    • The Part-Time Parliament
  • References
  • Index
  • Biographies

Concurrency The Works of Leslie Lamport ACM Books

    Product form

    £62.10

    Includes FREE delivery

    RRP £69.00 – you save £6.90 (10%)

    Order before 4pm tomorrow for delivery by Mon 29 Jun 2026.

    1 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Concurrency The Works of Leslie Lamport ACM Books by

      Publisher: Association for Computing Machinery 6504698
      Publication Date: 9/16/2019 12:00:00 AM
      ISBN13: 9781450372718, 978-1450372718
      ISBN10: 1450372716
      Also in:
      Computer science

      Description

      Book Synopsis
      Offers a celebration of Leslie Lamport’s work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant.

      Table of Contents
      • Preface
      • Photo and Text Credits
      • Introduction
      • The Computer Science of Concurrency: The Early Years
      • PART I TECHNICAL PERSPECTIVES ON LAMPORT'S WORK
        • Shared Memory and the Bakery Algorithm
        • The Notions of Time and Global State in a Distributed System
        • Byzantine Faults
        • State Machine Replication with Benign Failures
        • Formal Specification and Verification
        • Biography
      • PART II SELECTED PAPERS
        • A New Solution of Dijkstra's Concurrent Programming Problem
        • Time, Clocks, and the Ordering of Events in a Distributed System
        • How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
        • The Byzantine Generals Problem
        • The Mutual Exclusion Problem: Part I—A Theory of Interprocess Communication
        • The Mutual Exclusion Problem: Part II—Statement and Solutions
        • The Part-Time Parliament
      • References
      • Index
      • Biographies

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account