规约和验证并发数据结构

定　　价：78 元

• 作者：文堂柳著
• 出版时间：2023/8/1
• ISBN：9787548754503
• 出 版 社：中南大学出版社

• 中图法分类：TP332 
• 页码：202页
• 开本：24cm

内容简介

本书作者针对并发数据结构可线性化标准及其验证方法进行了深入的研究。本书分析了并发数据结构可线性化标准的局限性，在此基础上提出了强可线性化标准。验证并发数据结构强可线性化最困难的部分是验证可线性化。