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...

Full description

Saved in:
Bibliographic Details
Other Authors: Malkhi, Dahlia, (Editor)
Format: 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
Physical Description: 1 online zdroj (xx, 345 stran) : ilustrace

Cover

Table of contents

LEADER 05469cam a2200565 i 4500
001 108504
003 CZ-ZlUTB
005 20240914114849.0
006 m fo d
007 cr cnu|||m|||a
008 191212s2019 nyua fob 001 0beng d
040 |a CaBNVSL  |b eng  |e rda  |c J2I  |d J2I  |d OCLCF  |d CUS  |d NJT  |d OCL  |d ORU  |d OCLCQ  |d OCLCO  |d YDX  |d KSU  |d OCLCQ 
020 |a 9781450372732  |q (ebook) 
020 |a 9781450372725  |q (epub) 
020 |z 9781450372701  |q (hardcover) 
020 |z 9781450372718  |q (paperback) 
024 7 |a 10.1145/3335772  |2 doi 
035 |a (OCoLC)1130713068 
043 |a n-us--- 
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] 
300 |a 1 online zdroj (xx, 345 stran) :  |b ilustrace 
336 |a text  |b txt  |2 rdacontent 
337 |a počítač  |b c  |2 rdamedia 
338 |a online zdroj  |b cr  |2 rdacarrier 
490 1 |a ACM books,  |x 2374-6777 ;  |v #29 
500 |a "A.M. Turing Award"--Cover 
504 |a Obsahuje bibliografické odkazy a 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. 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty 
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. 
600 1 7 |a Lamport, Leslie.  |2 fast  |0 (OCoLC)fst00157469 
650 0 |a Computer scientists  |z United States  |v Biography. 
650 0 |a Electronic data processing  |x Distributed processing. 
650 0 |a Computer algorithms. 
650 0 |a Parallel processing (Electronic computers) 
651 7 |a United States.  |2 fast  |0 (OCoLC)fst01204155 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
700 1 |a Malkhi, Dahlia,  |e editor. 
776 0 8 |i Print version:  |z 9781450372718  |z 9781450372701 
830 0 |a ACM books ;  |v #29. 
856 4 0 |u https://proxy.k.utb.cz/login?url=https://dl.acm.org/doi/book/10.1145/3335772  |y Plný text 
992 |c EBOOK-TN  |c ACM 
999 |c 108504  |d 108504 
993 |x NEPOSILAT  |y EIZ 

Similar Items