Automated Verification of Concurrent Search Structures - 9783031006784

ISBN-13: 9783031006784, 978-3031006784. Concurrent search structures are parallel algorithms to speed access to search structures on multicore and distributed servers. These sophisticated algorithms perform fine-grained synchronization between threads, making them notoriously difficult to design correctly.

eBay