Concurrency: The Works of Leslie Lamport by Dahlia Malkhi (English) Paperback Bo

Description: Concurrency by Dahlia Malkhi Offers a celebration of Leslie Lamports 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. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description This book is a celebration of Leslie Lamports 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 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.Part I consists of technical chapters of the book and a biography. The technical chapters of this book present a retrospective on Lamports 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; state machine replication and Paxos; temporal logic of actions (TLA). The professional biography tells of Lamports career, providing the context in which his work arose and broke new grounds, and discusses LaTeX – perhaps Lamports most influential contribution outside the field of concurrency. This chapter gives a voice to the people behind the achievements, notably Lamport himself, and additionally the colleagues around him, who inspired, collaborated, and helped him drive worldwide impact. Part II consists of a selection of Leslie Lamports most influential papers.This book touches on a lifetime of contributions by Leslie Lamport to the field of concurrency and on the extensive influence he had on people working in the field. It will be of value to historians of science, and to researchers and students who work in the area of concurrency and who are interested to read about the work of one of the most influential researchers in this field. Author Biography Dahlia Malkhi received her Ph.D., an M.Sc. and a B.Sc. in computer science from the Hebrew University of Jerusalem. She is currently a lead researcher at Calibra. She is an ACM fellow (2011), serves on the Simons Institute Advisory Board, on the MIT Cryptocurrency Journal Advisory Board, and on the editorial boards of the Distributed Computing Journal. Her research career spans between industrial research and academia: 2014–2019, founding member and principal researcher at VMware Research; 2004–2014, principal researcher at Microsoft Research, Silicon Valley; 1999–2007, associate professor at the Hebrew University of Jerusalem; 1995–1999, senior researcher, AT&T Labs-Research, New Jersey. She has research interest in applied and foundational aspects of reliability and security in distributed systems. Table of Contents PrefacePhoto and Text CreditsIntroductionThe Computer Science of Concurrency: The Early YearsPART I TECHNICAL PERSPECTIVES ON LAMPORTS WORKShared Memory and the Bakery AlgorithmThe Notions of Time and Global State in a Distributed SystemByzantine FaultsState Machine Replication with Benign FailuresFormal Specification and VerificationBiographyPART II SELECTED PAPERSA New Solution of Dijkstras Concurrent Programming ProblemTime, Clocks, and the Ordering of Events in a Distributed SystemHow to Make a Multiprocessor Computer That Correctly Executes Multiprocess ProgramsThe Byzantine Generals ProblemThe Mutual Exclusion Problem: Part I—A Theory of Interprocess CommunicationThe Mutual Exclusion Problem: Part II—Statement and SolutionsThe Part-Time ParliamentReferencesIndexBiographies Long Description This book is a celebration of Leslie Lamports 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 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. Part I consists of technical chapters of the book and a biography. The technical chapters of this book present a retrospective on Lamports 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; state machine replication and Paxos; temporal logic of actions (TLA). The professional biography tells of Lamports career, providing the context in which his work arose and broke new grounds, and discusses LaTeX - perhaps Lamports most influential contribution outside the field of concurrency. This chapter gives a voice to the people behind the achievements, notably Lamport himself, and additionally the colleagues around him, who inspired, collaborated, and helped him drive worldwide impact. Part II consists of a selection of Leslie Lamports most influential papers. This book touches on a lifetime of contributions by Leslie Lamport to the field of concurrency and on the extensive influence he had on people working in the field. It will be of value to historians of science, and to researchers and students who work in the area of concurrency and who are interested to read about the work of one of the most influential researchers in this field. Details ISBN1450372716 Pages 365 Year 2019 ISBN-10 1450372716 ISBN-13 9781450372718 Format Paperback Subtitle The Works of Leslie Lamport Edited by Dahlia Malkhi Short Title Concurrency Language English Country of Publication United States UK Release Date 2019-09-16 Author Dahlia Malkhi Publisher Association of Computing Machinery,U.S. Imprint Association of Computing Machinery,U.S. Place of Publication New York AU Release Date 2019-09-16 NZ Release Date 2019-09-16 Series ACM Collection II Publication Date 2019-09-30 Audience Professional & Vocational US Release Date 2019-09-30 We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:127615866;

Price: 168.99 AUD

Location: Melbourne

End Time: 2025-01-07T14:13:34.000Z

Shipping Cost: 12.31 AUD