책 이미지
eBook 미리보기
책 정보
· 제목 : Concurrency: The Works of Leslie Lamport (Hardcover)
· 분류 : 외국도서 > 컴퓨터 > 시스템 구조 > 분산 시스템/컴퓨팅
· ISBN : 9781450372701
· 쪽수 : 365쪽
· 출판일 : 2019-09-16
· 분류 : 외국도서 > 컴퓨터 > 시스템 구조 > 분산 시스템/컴퓨팅
· ISBN : 9781450372701
· 쪽수 : 365쪽
· 출판일 : 2019-09-16
목차
- Preface
- Photo and Text Credits
- Introduction
- The Computer Science of Concurrency: The Early Years
- PART I TECHNICAL PERSPECTIVES ON LAMPORT'S WORK
- Shared Memory and the Bakery Algorithm
- The Notions of Time and Global State in a Distributed System
- Byzantine Faults
- State Machine Replication with Benign Failures
- Formal Specification and Verification
- Biography
- PART II SELECTED PAPERS
- A New Solution of Dijkstra's Concurrent Programming Problem
- Time, Clocks, and the Ordering of Events in a Distributed System
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
- The Byzantine Generals Problem
- The Mutual Exclusion Problem: Part I—A Theory of Interprocess Communication
- The Mutual Exclusion Problem: Part II—Statement and Solutions
- The Part-Time Parliament
- References
- Index
- Biographies
