Opening book details…
Can I read Concurrency: : The Works of Leslie Lamport on EtoBox?
Concurrency: : The Works of Leslie Lamport by Dahlia Malkhi is a nonfiction available to read on EtoBox.
What is Concurrency: : The Works of Leslie Lamport about?
<p><b>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.</b></p><p>His works lay formal foundations for concurrent computations executed by interconnected computers. Some of the algorithms have become standard engineering practice for fault tolerant distributed computing – distributed systems that continue to function correctly despite failures of individual components. He also developed a substantial body of work on the formal specification and verification of concurrent systems, and has contributed to the development of automated tools applying these methods.</p><p>Part I consists of technical chapters of the book and a biography. The technical chapters of this book present a retrospective on Lamport's original ideas from experts in the field. Through this lens, it portrays their long-lasting impact. The chapters cover timeless notions Lamport introduced: the Bakery algorithm, atomic shared registers and sequential consistency; causality and logical time; Byzantine Agreement; stat
Who reads Concurrency: : The Works of Leslie Lamport?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Dahlia Malkhi
- Publisher
- Association for Computing Machinery
- Published
- 2019
- Language
- EN
- ISBN
- 9781450372725
- Category
- nonfiction
- Subjects
- Computer Science, Stem