Raynal, M. <br/><br/>
Concurrent programming :  algorithms, principles, and foundations / 
Michel Raynal. 
 - Heidelberg ;  New York :  Springer-Verlag,  2013. 
 - xxxii, 515 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/> 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. 
<br/><br/>
<br/><br/><label>ISBN: </label>9783642320262 
<br/><br/><label>LCCN: </label>2012944394 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Parallel programming (Computer science)<br/>Electronic data processing--Distributed processing.<br/>Computer multitasking.
<br/><br/><label>LC Class. No.: </label>QA76.642  / .R44 2013 
<br/><br/><label>Dewey Class. No.: </label>005.275  / Ra Co