Concurrency :: the works of Leslie Lamport /
"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...
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
[New York, New York] :
Association for Computing Machinery,
[2019]
|
| Ausgabe: | First edition. |
| Schriftenreihe: | ACM books ;
#29. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | "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."-- |
| Beschreibung: | 1 online resource. |
| Bibliographie: | Includes bibliographical references (pages 319-333) and index. |
| ISBN: | 9781450372732 1450372732 9781450372725 1450372724 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-on1434575817 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 240521t20192019nyu o 000 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d N$T |d OCLCO |d J2I |d OCLCF |d CUS |d NJT |d ORU |d YDX |d KSU |d OCLCL | ||
| 019 | |a 1130713068 | ||
| 020 | |a 9781450372732 |q (electronic bk.) | ||
| 020 | |a 1450372732 |q (electronic bk.) | ||
| 020 | |z 9781450372718 | ||
| 020 | |a 9781450372725 |q (epub) | ||
| 020 | |a 1450372724 |q (epub) | ||
| 020 | |z 9781450372701 |q (hardcover) | ||
| 024 | 7 | |a 10.1145/3335772 |2 doi | |
| 035 | |a (OCoLC)1434575817 |z (OCoLC)1130713068 | ||
| 043 | |a n-us--- | ||
| 050 | 4 | |a QA76.9.D5 |b C668 2019 | |
| 082 | 7 | |a 004/.36 |2 23/eng/20240618 | |
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Concurrency : |b the works of Leslie Lamport / |c Dahlia Malkhi, editor. |
| 246 | 3 | 0 | |a Works of Leslie Lamport |
| 250 | |a First edition. | ||
| 264 | 1 | |a [New York, New York] : |b Association for Computing Machinery, |c [2019] | |
| 264 | 4 | |c ©2019 | |
| 300 | |a 1 online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a ACM books series ; |v #29 | |
| 588 | 0 | |a Online resource; title from PDF title page (EBSCO, viewed June 18, 2024). | |
| 504 | |a Includes bibliographical references (pages 319-333) and index. | ||
| 505 | 0 | |a 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 | |
| 505 | 8 | |a 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. | |
| 520 | 3 | |a "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."-- |c Provided by publisher | |
| 600 | 1 | 0 | |a Lamport, Leslie. |0 http://id.loc.gov/authorities/names/n85197221 |
| 600 | 1 | 7 | |a Lamport, Leslie |2 fast |1 https://id.oclc.org/worldcat/entity/E39PBJgMD7pxVhPkHyVXGP9kXd |
| 650 | 0 | |a Computer scientists |z United States |v Biography. | |
| 650 | 0 | |a Electronic data processing |x Distributed processing. |0 http://id.loc.gov/authorities/subjects/sh85042293 | |
| 650 | 0 | |a Computer algorithms. |0 http://id.loc.gov/authorities/subjects/sh91000149 | |
| 650 | 2 | |a Algorithms |0 https://id.nlm.nih.gov/mesh/D000465 | |
| 650 | 6 | |a Informaticiens |z États-Unis |v Biographies. | |
| 650 | 6 | |a Traitement réparti. | |
| 650 | 6 | |a Algorithmes. | |
| 650 | 7 | |a algorithms. |2 aat | |
| 650 | 7 | |a Computer algorithms |2 fast | |
| 650 | 7 | |a Computer scientists |2 fast | |
| 650 | 7 | |a Electronic data processing |x Distributed processing |2 fast | |
| 651 | 7 | |a United States |2 fast |1 https://id.oclc.org/worldcat/entity/E39PBJtxgQXMWqmjMjjwXRHgrq | |
| 655 | 0 | |a Electronic books. | |
| 655 | 2 | |a Biography |0 https://id.nlm.nih.gov/mesh/D019215 | |
| 655 | 7 | |a Biographies |2 fast | |
| 655 | 7 | |a Biographies. |2 lcgft |0 http://id.loc.gov/authorities/genreForms/gf2014026049 | |
| 655 | 7 | |a Biographies. |2 rvmgf | |
| 700 | 1 | |a Malkhi, Dahlia, |e editor. |1 https://id.oclc.org/worldcat/entity/E39PBJjCPvwwxjwRJt7fhGWqwC |0 http://id.loc.gov/authorities/names/nb2002098961 | |
| 758 | |i has work: |a Concurrency (Text) |1 https://id.oclc.org/worldcat/entity/E39PCH73wp9V6KvdGypXBMTpKd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |z 9781450372718 |z 9781450372701 |
| 830 | 0 | |a ACM books ; |v #29. |0 http://id.loc.gov/authorities/names/no2015029270 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3319097 |3 Volltext |
| 938 | |a EBSCOhost |b EBSC |n 3319097 | ||
| 938 | |a YBP Library Services |b YANK |n 17915913 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-on1434575817 |
|---|---|
| _version_ | 1816882571678580736 |
| adam_text | |
| any_adam_object | |
| author2 | Malkhi, Dahlia |
| author2_role | edt |
| author2_variant | d m dm |
| author_GND | http://id.loc.gov/authorities/names/nb2002098961 |
| author_facet | Malkhi, Dahlia |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D5 C668 2019 |
| callnumber-search | QA76.9.D5 C668 2019 |
| callnumber-sort | QA 276.9 D5 C668 42019 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| 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. |
| ctrlnum | (OCoLC)1434575817 |
| dewey-full | 004/.36 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.36 |
| dewey-search | 004/.36 |
| dewey-sort | 14 236 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | First edition. |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>06647cam a2200769 i 4500</leader><controlfield tag="001">ZDB-4-EBA-on1434575817</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu|||unuuu</controlfield><controlfield tag="008">240521t20192019nyu o 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">N$T</subfield><subfield code="d">OCLCO</subfield><subfield code="d">J2I</subfield><subfield code="d">OCLCF</subfield><subfield code="d">CUS</subfield><subfield code="d">NJT</subfield><subfield code="d">ORU</subfield><subfield code="d">YDX</subfield><subfield code="d">KSU</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">1130713068</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781450372732</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1450372732</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781450372718</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781450372725</subfield><subfield code="q">(epub)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1450372724</subfield><subfield code="q">(epub)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781450372701</subfield><subfield code="q">(hardcover)</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1145/3335772</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1434575817</subfield><subfield code="z">(OCoLC)1130713068</subfield></datafield><datafield tag="043" ind1=" " ind2=" "><subfield code="a">n-us---</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.9.D5</subfield><subfield code="b">C668 2019</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">004/.36</subfield><subfield code="2">23/eng/20240618</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Concurrency :</subfield><subfield code="b">the works of Leslie Lamport /</subfield><subfield code="c">Dahlia Malkhi, editor.</subfield></datafield><datafield tag="246" ind1="3" ind2="0"><subfield code="a">Works of Leslie Lamport</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">First edition.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[New York, New York] :</subfield><subfield code="b">Association for Computing Machinery,</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">ACM books series ;</subfield><subfield code="v">#29</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Online resource; title from PDF title page (EBSCO, viewed June 18, 2024).</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 319-333) and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">"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."--</subfield><subfield code="c">Provided by publisher</subfield></datafield><datafield tag="600" ind1="1" ind2="0"><subfield code="a">Lamport, Leslie.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n85197221</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Lamport, Leslie</subfield><subfield code="2">fast</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJgMD7pxVhPkHyVXGP9kXd</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer scientists</subfield><subfield code="z">United States</subfield><subfield code="v">Biography.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85042293</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer algorithms.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh91000149</subfield></datafield><datafield tag="650" ind1=" " ind2="2"><subfield code="a">Algorithms</subfield><subfield code="0">https://id.nlm.nih.gov/mesh/D000465</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Informaticiens</subfield><subfield code="z">États-Unis</subfield><subfield code="v">Biographies.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Traitement réparti.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Algorithmes.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algorithms.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer algorithms</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer scientists</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield><subfield code="2">fast</subfield></datafield><datafield tag="651" ind1=" " ind2="7"><subfield code="a">United States</subfield><subfield code="2">fast</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJtxgQXMWqmjMjjwXRHgrq</subfield></datafield><datafield tag="655" ind1=" " ind2="0"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="655" ind1=" " ind2="2"><subfield code="a">Biography</subfield><subfield code="0">https://id.nlm.nih.gov/mesh/D019215</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Biographies</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Biographies.</subfield><subfield code="2">lcgft</subfield><subfield code="0">http://id.loc.gov/authorities/genreForms/gf2014026049</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Biographies.</subfield><subfield code="2">rvmgf</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Malkhi, Dahlia,</subfield><subfield code="e">editor.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJjCPvwwxjwRJt7fhGWqwC</subfield><subfield code="0">http://id.loc.gov/authorities/names/nb2002098961</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Concurrency (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCH73wp9V6KvdGypXBMTpKd</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="z">9781450372718</subfield><subfield code="z">9781450372701</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">ACM books ;</subfield><subfield code="v">#29.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2015029270</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3319097</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">3319097</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">17915913</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Electronic books. Biography https://id.nlm.nih.gov/mesh/D019215 Biographies fast Biographies. lcgft http://id.loc.gov/authorities/genreForms/gf2014026049 Biographies. rvmgf |
| genre_facet | Electronic books. Biography Biographies Biographies. |
| geographic | United States fast https://id.oclc.org/worldcat/entity/E39PBJtxgQXMWqmjMjjwXRHgrq |
| geographic_facet | United States |
| id | ZDB-4-EBA-on1434575817 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:30:44Z |
| institution | BVB |
| isbn | 9781450372732 1450372732 9781450372725 1450372724 |
| language | English |
| oclc_num | 1434575817 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource. |
| psigel | ZDB-4-EBA |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Association for Computing Machinery, |
| record_format | marc |
| series | ACM books ; |
| series2 | ACM books series ; |
| spelling | Concurrency : the works of Leslie Lamport / Dahlia Malkhi, editor. Works of Leslie Lamport First edition. [New York, New York] : Association for Computing Machinery, [2019] ©2019 1 online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier ACM books series ; #29 Online resource; title from PDF title page (EBSCO, viewed June 18, 2024). Includes bibliographical references (pages 319-333) and index. 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. "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."-- Provided by publisher Lamport, Leslie. http://id.loc.gov/authorities/names/n85197221 Lamport, Leslie fast https://id.oclc.org/worldcat/entity/E39PBJgMD7pxVhPkHyVXGP9kXd Computer scientists United States Biography. Electronic data processing Distributed processing. http://id.loc.gov/authorities/subjects/sh85042293 Computer algorithms. http://id.loc.gov/authorities/subjects/sh91000149 Algorithms https://id.nlm.nih.gov/mesh/D000465 Informaticiens États-Unis Biographies. Traitement réparti. Algorithmes. algorithms. aat Computer algorithms fast Computer scientists fast Electronic data processing Distributed processing fast United States fast https://id.oclc.org/worldcat/entity/E39PBJtxgQXMWqmjMjjwXRHgrq Electronic books. Biography https://id.nlm.nih.gov/mesh/D019215 Biographies fast Biographies. lcgft http://id.loc.gov/authorities/genreForms/gf2014026049 Biographies. rvmgf Malkhi, Dahlia, editor. https://id.oclc.org/worldcat/entity/E39PBJjCPvwwxjwRJt7fhGWqwC http://id.loc.gov/authorities/names/nb2002098961 has work: Concurrency (Text) https://id.oclc.org/worldcat/entity/E39PCH73wp9V6KvdGypXBMTpKd https://id.oclc.org/worldcat/ontology/hasWork Print version: 9781450372718 9781450372701 ACM books ; #29. http://id.loc.gov/authorities/names/no2015029270 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3319097 Volltext |
| spellingShingle | Concurrency : the works of Leslie Lamport / ACM books ; 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. Lamport, Leslie. http://id.loc.gov/authorities/names/n85197221 Lamport, Leslie fast https://id.oclc.org/worldcat/entity/E39PBJgMD7pxVhPkHyVXGP9kXd Computer scientists United States Biography. Electronic data processing Distributed processing. http://id.loc.gov/authorities/subjects/sh85042293 Computer algorithms. http://id.loc.gov/authorities/subjects/sh91000149 Algorithms https://id.nlm.nih.gov/mesh/D000465 Informaticiens États-Unis Biographies. Traitement réparti. Algorithmes. algorithms. aat Computer algorithms fast Computer scientists fast Electronic data processing Distributed processing fast |
| subject_GND | http://id.loc.gov/authorities/names/n85197221 http://id.loc.gov/authorities/subjects/sh85042293 http://id.loc.gov/authorities/subjects/sh91000149 https://id.nlm.nih.gov/mesh/D000465 https://id.nlm.nih.gov/mesh/D019215 http://id.loc.gov/authorities/genreForms/gf2014026049 |
| title | Concurrency : the works of Leslie Lamport / |
| title_alt | Works of Leslie Lamport |
| title_auth | Concurrency : the works of Leslie Lamport / |
| title_exact_search | Concurrency : the works of Leslie Lamport / |
| title_full | Concurrency : the works of Leslie Lamport / Dahlia Malkhi, editor. |
| title_fullStr | Concurrency : the works of Leslie Lamport / Dahlia Malkhi, editor. |
| title_full_unstemmed | Concurrency : the works of Leslie Lamport / Dahlia Malkhi, editor. |
| title_short | Concurrency : |
| title_sort | concurrency the works of leslie lamport |
| title_sub | the works of Leslie Lamport / |
| topic | Lamport, Leslie. http://id.loc.gov/authorities/names/n85197221 Lamport, Leslie fast https://id.oclc.org/worldcat/entity/E39PBJgMD7pxVhPkHyVXGP9kXd Computer scientists United States Biography. Electronic data processing Distributed processing. http://id.loc.gov/authorities/subjects/sh85042293 Computer algorithms. http://id.loc.gov/authorities/subjects/sh91000149 Algorithms https://id.nlm.nih.gov/mesh/D000465 Informaticiens États-Unis Biographies. Traitement réparti. Algorithmes. algorithms. aat Computer algorithms fast Computer scientists fast Electronic data processing Distributed processing fast |
| topic_facet | Lamport, Leslie. Lamport, Leslie Computer scientists United States Biography. Electronic data processing Distributed processing. Computer algorithms. Algorithms Informaticiens États-Unis Biographies. Traitement réparti. Algorithmes. algorithms. Computer algorithms Computer scientists Electronic data processing Distributed processing United States Electronic books. Biography Biographies Biographies. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3319097 |
| work_keys_str_mv | AT malkhidahlia concurrencytheworksofleslielamport AT malkhidahlia worksofleslielamport |