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

This is the usual price. Wait for it to drop, or tell us your number.

£86 today · usual range £0–£0 · best ever £77

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

Historical

Generating forecast...

Price Distribution

Price distribution over 635 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £77-82 (263 days, 41.4%)

Price range: £77 - £103

Price levels: 5 price ranges over 635 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)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

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

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

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)

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)

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

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

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

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

The Incomputable: Journeys Beyond the Turing Barrier (Theory and Applications of Computability)

Reconfigurable and Adaptive Computing: Theory and Applications

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems: 283 (The Springer International Series in Engineering and Computer Science, 283)

Springer Database Concurrency Control - Advances in Database Systems

Korrekte Zugriffe zu verteilten Daten: 63 (Informatik-Fachberichte, 63)

Concurrency Control in Distributed Database Systems (Volume 3) (Studies in Computer Science and Artificial Intelligence, Volume 3)