| Autor: |
Malkhi, Dahlia |
| Jazyk: |
angličtina |
| Informace o vydání: |
San Rafael : Morgan & Claypool Publishers, 2019. |
| Předmět: |
|
| Druh dokumentu: |
Online; Non-fiction; Electronic document |
| Abstrakt: |
Summary: 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. |
| Databáze: |
Vybrané kolekce e-knih |
| Externí odkaz: |
|
