{"product_id":"concurrency-the-works-of-leslie-lamport-acm-books-9781450372718","title":"Concurrency The Works of Leslie Lamport ACM Books","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eOffers 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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003e\u003cul\u003e\n\u003cli\u003ePreface\u003c\/li\u003e\n\u003cli\u003ePhoto and Text Credits\u003c\/li\u003e\n\u003cli\u003eIntroduction\u003c\/li\u003e\n\u003cli\u003eThe Computer Science of Concurrency: The Early Years\u003c\/li\u003e\n\u003cli\u003ePART I TECHNICAL PERSPECTIVES ON LAMPORT'S WORK\u003cul\u003e\n\u003cli\u003eShared Memory and the Bakery Algorithm\u003c\/li\u003e\n\u003cli\u003eThe Notions of Time and Global State in a Distributed System\u003c\/li\u003e\n\u003cli\u003eByzantine Faults\u003c\/li\u003e\n\u003cli\u003eState Machine Replication with Benign Failures\u003c\/li\u003e\n\u003cli\u003eFormal Specification and Verification\u003c\/li\u003e\n\u003cli\u003eBiography\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003c\/li\u003e\n\u003cli\u003ePART II SELECTED PAPERS\u003cul\u003e\n\u003cli\u003eA New Solution of Dijkstra's Concurrent Programming Problem\u003c\/li\u003e\n\u003cli\u003eTime, Clocks, and the Ordering of Events in a Distributed System\u003c\/li\u003e\n\u003cli\u003eHow to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs\u003c\/li\u003e\n\u003cli\u003eThe Byzantine Generals Problem\u003c\/li\u003e\n\u003cli\u003eThe Mutual Exclusion Problem: Part I—A Theory of Interprocess Communication\u003c\/li\u003e\n\u003cli\u003eThe Mutual Exclusion Problem: Part II—Statement and Solutions\u003c\/li\u003e\n\u003cli\u003eThe Part-Time Parliament\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003c\/li\u003e\n\u003cli\u003eReferences\u003c\/li\u003e\n\u003cli\u003eIndex\u003c\/li\u003e\n\u003cli\u003eBiographies\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"Association for Computing Machinery 6504698","offers":[{"title":"Default Title","offer_id":51863279829335,"sku":"9781450372718","price":62.1,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9781450372718.jpg?v=1759920157","url":"https:\/\/bookcurl.com\/products\/concurrency-the-works-of-leslie-lamport-acm-books-9781450372718","provider":"Book Curl","version":"1.0","type":"link"}