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
• ISBN: 9781450372732; 9781450372725; 9781450372701; 9781450372718
• ISSN: 2374-6777 ;
• Physical Description: 1 online zdroj (xx, 345 stran) : ilustrace

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.