TY - BOOK AU - Raynal,M. TI - Concurrent programming: algorithms, principles, and foundations SN - 9783642320262 U1 - 004 22 PY - 2013/// CY - Heidelberg, New York PB - Springer-Verlag KW - Parallel programming (Computer science) KW - Electronic data processing KW - Distributed processing KW - Computer multitasking N1 - Includes bibliographical references and index; Lock-Based Synchronization --; The Mutual Exclusion Problem --; Solving Mutual Exclusion --; Lock-Based Concurrent Objects --; On the Foundations Side: the Atomicity Concept --; Atomicity: Formal Definition and Properties --; Mutex-Free Synchronization --; Mutex-Free Concurrent Objects --; Hybrid Concurrent Objects --; Wait-Free Objects from Read/Write Registers Only --; Snapshot Objects from Read/Write Registers Only --; Renaming Objects from Read/Write Registers Only --; The Transactional Memory Approach --; Transactional Memory --; On the Foundations Side: from Safe Bits to Atomic Registers --; Safe, Regular, and Atomic Read/Write Registers --; From Safe Bits to Atomic Bits: Lower Bound and Optimal Construction --; Bounded Constructions of Atomic b-Valued Registers --; On the Foundations Side: the Computability Power of Concurrent Objects (Consensus) --; Universality of Consensus --; The Case of Unreliable Base Objects --; Consensus Numbers and the Consensus Hierarchy --; The Alpha(s) and Omega of Consensus: Failure Detector-Based Consensus; Also issued online UR - http://www.loc.gov/catdir/enhancements/fy1316/2012944394-b.html UR - http://www.loc.gov/catdir/enhancements/fy1316/2012944394-d.html UR - http://www.loc.gov/catdir/enhancements/fy1316/2012944394-t.html ER -