Concurrency : the works of Leslie Lamport

• Other Authors: Malkhi, Dahlia (Editor)
• Format: Electronic eBook
• Language: English
• Published: [New York, New York] : Association for Computing Machinery, [2019]
• Edition: First edition.
• Series: ACM books ; #29.
• Subjects: Lamport, Leslie.; Computer scientists > United States > Biography.; Electronic data processing > Distributed processing.; Computer algorithms.; Parallel processing (Electronic computers); United States.; elektronické knihy; electronic books

"This book is 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. His works lay formal foundations fo...

Table of Contents:

• Introduction / Dahlia Malkhi, Idit Keidar
• The computer science of concurrency : the early years / Leslie Lamport
• part I. Technical perspectives on Lamport's work. 1. Shared memory and the bakery algorithm / Hagit Attiya, Jennifer L. Welch
• 2. The notions of time and global state in a distributed system / Karolos Antoniadis, Rachid Guerraoui
• 3. Byzantine faults / Christian Cachin
• 4. State machine replication with benign failures / Robbert van Renesse
• 5. Formal specification and verification / Stephan Merz
• 6. Biography / Roy Levin
• part II. Selected papers. A new solution of Dijkstra's concurrent programming problem / Leslie Lamport
• Time, clocks, and the ordering of events in a distributed system / Leslie Lamport
• How to make a multiprocessor computer that correctly executes multiprocess programs / Leslie Lamport
• The Byzantine generals problem / Leslie Lamport, Robert Shostak, Marshall Pease
• The mutual exclusion problem : part I--a theory of interprocess communication / Leslie Lamport
• The Mutual Exclusion Problem : part II--statement and solutions / Leslie Lamport
• The part-time parliament / Leslie Lamport.