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

£55.43

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

Architecture & Microprocessors

This is the most expensive it has ever been. Walk away.

£55 today · previous high £55 · all-time low £55

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 42 days • 42 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 42 days • 1 price levels

Days at Price

Price Analysis

Most common price: £55 (42 days, 100.0%)

Price range: £55 - £55

Price levels: 1 different prices over 42 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.

Product Specifications

Brand: Morgan & Claypool
Format: paperback
ASIN: 1450372716
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)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

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)

Springer - Concurrency in Dependable Computing Book

Concurrent Programming: Algorithms, Principles, and Foundations

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)

Understanding Concurrent Systems (Texts in Computer Science)

Concurrent Programming: Algorithms, Principles, and Foundations

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

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

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

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

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)

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

Springer Theory and Applications of Dependable Computer Systems

Introduction to Distributed Self-Stabilizing Algorithms (Synthesis Lectures on Distributed Computing Theory)

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

Quality of Communication-Based Systems: Proceedings of an International Workshop Held at the TU, Berlin, Germany, September 1994

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

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)