Concurrency : The Works of Leslie Lamport
Saved in:
| Title: | Concurrency : The Works of Leslie Lamport |
|---|---|
| Description: | 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 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 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; state machine replication and Paxos; temporal logic of actions (TLA). The professional biography tells of Lamport's career, providing the context in which his work arose and broke new grounds, and discusses LaTeX – perhaps Lamport's 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 Lamport's 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. |
| Authors: | Dahlia Malkhi |
| Resource Type: | eBook. |
| Subjects: | Electronic data processing--Distributed processing, Computer scientists--United States--Biography, Computer algorithms |
| Categories: | COMPUTERS / Distributed Systems / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science |
| Database: | eBook Collection (EBSCOhost) |
| FullText | Links: – Type: ebook-pdf – Type: ebook-epub Text: Availability: 0 |
|---|---|
| Header | DbId: nlebk DbLabel: eBook Collection (EBSCOhost) An: 3319097 RelevancyScore: 1090 AccessLevel: 6 PubType: eBook PubTypeId: ebook PreciseRelevancyScore: 1090.09973144531 |
| IllustrationInfo | |
| ImageInfo | – Size: thumb Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$3319097$PDF&s=r – Size: medium Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$3319097$PDF&s=d |
| Items | – Name: Title Label: Title Group: Ti Data: Concurrency : The Works of Leslie Lamport – Name: Abstract Label: Description Group: Ab Data: 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 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 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; state machine replication and Paxos; temporal logic of actions (TLA). The professional biography tells of Lamport's career, providing the context in which his work arose and broke new grounds, and discusses LaTeX – perhaps Lamport's 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 Lamport's 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. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Dahlia+Malkhi%22">Dahlia Malkhi</searchLink> – Name: TypePub Label: Resource Type Group: TypPub Data: eBook. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Electronic+data+processing--Distributed+processing%22">Electronic data processing--Distributed processing</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+scientists--United+States--Biography%22">Computer scientists--United States--Biography</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+algorithms%22">Computer algorithms</searchLink> – Name: SubjectBISAC Label: Categories Group: Su Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Distributed+Systems+%2F+General%22">COMPUTERS / Distributed Systems / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Computer+Architecture%22">COMPUTERS / Computer Architecture</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Computer+Science%22">COMPUTERS / Computer Science</searchLink> |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=3319097 |
| RecordInfo | BibRecord: BibEntity: Classifications: – Code: 004.36 Scheme: ddc Type: prePub Languages: – Code: eng Text: English Subjects: – SubjectFull: Electronic data processing--Distributed processing Type: general – SubjectFull: Computer scientists--United States--Biography Type: general – SubjectFull: Computer algorithms Type: general Titles: – TitleFull: Concurrency : The Works of Leslie Lamport Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Dahlia Malkhi – PersonEntity: Name: NameFull: Dahlia Malkhi IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2019 – D: 19 M: 06 Type: profile Y: 2024 Identifiers: – Type: isbn-print Value: 9781450372718 – Type: isbn-electronic Value: 9781450372732 – Type: isbn-electronic Value: 9781450372725 Numbering: – Type: volume Value: 00029 Titles: – TitleFull: Concurrency : The Works of Leslie Lamport Type: main |
| ResultId | 1 |
