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

£81.99

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: 81.99 GBP
Availability: InStock

Architecture & Microprocessors

It has never been this cheap. We have no record of a lower price.

£82 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 76 days · 76 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 76 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £82 (68 days, 89.5%)

Price range: £82 - £90

Price levels: 2 different prices over 76 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)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

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

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday: 5065 (Lecture Notes in Computer Science, 5065)

Models for Concurrency (Algebra, Logic and Applications, Vol 11)

Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings: 335 (Lecture Notes in Computer Science, 335)

Concurrent Programming: Algorithms, Principles, and Foundations

Concurrency in Dependable Computing - Springer

Concurrent Programming: Algorithms, Principles, and Foundations

Understanding Concurrent Systems (Texts in Computer Science)

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

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

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

Synchronous Programming of Reactive Systems: 215 (The Springer International Series in Engineering and Computer Science, 215)

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

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

CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings: 962 (Lecture Notes in Computer Science, 962)

Data Prefetching Techniques in Computer Systems: Volume 125 (Advances in Computers, Volume 125)

Theory and Applications of Dependable Computer Systems - DepCoS-RELCOMEX Proceedings

CONCUR '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings: 1466 (Lecture Notes in Computer Science, 1466)

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

Models and Analysis for Distributed Systems

Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

A Decade of Concurrency: Reflections and Perspectives: Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - ... 803 (Lecture Notes in Computer Science, 803)

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)