Concurrency: The Works of Leslie Lamport (ACM Collection II) - Image 1

£85.69

Morgan & Claypool Concurrency: The Works of Leslie Lamport (ACM Collection II)

Name: Concurrency: The Works of Leslie Lamport (ACM Collection II)
Brand: Morgan & Claypool
Price: 85.69 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 41 days • 41 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 41 days • 1 price levels

Days at Price

Price Analysis

Most common price: £86 (41 days, 100.0%)

Price range: £86 - £86

Price levels: 1 different prices over 41 days

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.

Key Features

Concurrency: The Works Of Leslie Lamport Acm Collection Ii

Product Type: Abis Book

Brand: Acm Books

Product Specifications

Brand: Morgan & Claypool
Format: Hardcover
ASIN: 1450372708
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 30 September 2019
Listed Since: 18 October 2019

Barcode

No barcode data available

Morgan & Claypool Concurrency: The Works of Leslie Lamport (ACM Collection II)

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Concurrent Programming: Algorithms, Principles, and Foundations

Springer - Concurrency in Dependable Computing Book

Distributed Computing Through Combinatorial Topology

From Traditional Fault Tolerance to Blockchain

Edsger Wybe Dijkstra: His Life, Work, and Legacy (ACM Books)

Advances in Unconventional Computing: Volume 1: Theory: 22 (Emergence, Complexity and Computation, 22)

Language Computability and Formal Language Theory

Large Scale Network-Centric Distributed Systems (Wiley Series on Parallel and Distributed Computing)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Reversibility and Universality: Essays Presented to Kenichi Morita on the Occasion of his 70th Birthday: 30 (Emergence, Complexity and Computation, 30)

Introduction to Contextual Processing: Theory and Applications

Process Algebra for Parallel and Distributed Processing: 2 (Chapman & Hall/CRC Computational Science)

Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

Introduction to Concurrency in Programming Languages (Chapman & Hall/CRC Computational Science)

Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming

The Verilog Hardware Description Language

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)

Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs

Frontiers of Multimedia Research (ACM Books)

Programming Models for Parallel Computing (Scientific and Engineering Computation)

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)

Shared-Memory Parallelism Can Be Simple, Fast, and Scalable (ACM Books)

Shared-Memory Parallelism Can Be Simple, Fast, and Scalable (ACM Books)